Advanced search
1 file | 165.02 KB Add to list
Author
Organization
Abstract
Until recently, truth-functionality has been considered essential to the mechanism for combining logics known as fibring. Following the first efforts towards extending fibred semantics to logics with non-truth-functional operators, this paper aims to clarify the subject at the light of ideas borrowed from the theory of general logics as institutions and the novel notion of non-truth-functional room. Besides introducing the relevant concepts and constructions, the paper presents a detailed worked example combining classical first-order logic with the paraconsistent propositional system C-1, for which a meaningful semantics is obtained. The possibility of extending this technique to build first-order versions of further logics of formal inconsistency is also discussed.
Keywords
fibring, non-truth-functional semantics, paraconsistency, first-order

Downloads

  • accepted manuscript.pdf
    • full text (Accepted manuscript)
    • |
    • open access
    • |
    • PDF
    • |
    • 165.02 KB

Citation

Please use this url to cite or link to this publication:

MLA
Caleiro, Carlos, and João Marcos de Almeida. “Non-Truth-Functional Fibred Semantics.” IC-AI’2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, edited by Hamid R. Arabnia, vol. 2, CSREA Press, 2001, pp. 841–47.
APA
Caleiro, C., & Marcos de Almeida, J. (2001). Non-truth-functional fibred semantics. In H. R. Arabnia (Ed.), IC-AI’2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III (Vol. 2, pp. 841–847). CSREA Press.
Chicago author-date
Caleiro, Carlos, and João Marcos de Almeida. 2001. “Non-Truth-Functional Fibred Semantics.” In IC-AI’2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, edited by Hamid R. Arabnia, 2:841–47. CSREA Press.
Chicago author-date (all authors)
Caleiro, Carlos, and João Marcos de Almeida. 2001. “Non-Truth-Functional Fibred Semantics.” In IC-AI’2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, ed by. Hamid R. Arabnia, 2:841–847. CSREA Press.
Vancouver
1.
Caleiro C, Marcos de Almeida J. Non-truth-functional fibred semantics. In: Arabnia HR, editor. IC-AI’2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III. CSREA Press; 2001. p. 841–7.
IEEE
[1]
C. Caleiro and J. Marcos de Almeida, “Non-truth-functional fibred semantics,” in IC-AI’2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, LAS VEGAS, NV, 2001, vol. 2, pp. 841–847.
@inproceedings{8757882,
  abstract     = {{Until recently, truth-functionality has been considered essential to the mechanism for combining logics known as fibring. Following the first efforts towards extending fibred semantics to logics with non-truth-functional operators, this paper aims to clarify the subject at the light of ideas borrowed from the theory of general logics as institutions and the novel notion of non-truth-functional room. Besides introducing the relevant concepts and constructions, the paper presents a detailed worked example combining classical first-order logic with the paraconsistent propositional system C-1, for which a meaningful semantics is obtained. The possibility of extending this technique to build first-order versions of further logics of formal inconsistency is also discussed.}},
  author       = {{Caleiro, Carlos and Marcos de Almeida, João}},
  booktitle    = {{IC-AI'2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III}},
  editor       = {{Arabnia, Hamid R.}},
  isbn         = {{9781892512796}},
  keywords     = {{fibring,non-truth-functional semantics,paraconsistency,first-order}},
  language     = {{eng}},
  location     = {{LAS VEGAS, NV}},
  pages        = {{841--847}},
  publisher    = {{CSREA Press}},
  title        = {{Non-truth-functional fibred semantics}},
  volume       = {{2}},
  year         = {{2001}},
}

Web of Science
Times cited: