
Non-truth-functional fibred semantics
- Author
- Carlos Caleiro and João Marcos de Almeida
- 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
- |
- |
- 165.02 KB
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-8757882
- 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}}, }