Abstract
The object of this paper is to show how one is able to construct a paraconsistent theory of models that reflects much of the classical one. In other words the aim is to demonstrate that there is a very smooth and natural transition from the model theory of classical logic to that of certain categories of paraconsistent logic. To this end we take an extension of da Costa'sC =1 (obtained by adding the axiom ⌝⌝A ↔A) and prove for it results which correspond to many major classical model theories, taken from Shoenfield [5]. In particular we prove counterparts of the theorems of Łoś-Tarski and Chang-Łoś-Suszko, Craig-Robinson and the Beth definability theorem.
Similar content being viewed by others
References
A. I. Arruda,A survey of paraconsistent logic,Mathematical Logic in Latin America, North-Holland, Amsterdam, 1979.
A. I. Arruda andN. C. A. da Costa,Une semantique pour le calcul C =1 ,Comptes Rendus Hebdomadaires des Seances de l'Academie des Sciences, Paris 284 A, pp. 279–282, 1977.
N. C. A. da Costa,On the theory of inconsistent formal systems,Notre Dame Journal of Formal Logic XI, pp. 497–510, 1974.
N. C. A. da Costa andE. H. Alves,A semantical analysis of the calculi C n Notre Dame Journal of Formal Logic XVIII, pp. 621–630, 1977.
J. R. Shoenfield,Mathematical Logic, Addison Wesley, Reading, 1967.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Alves, E.H. Paraconsistent logic and model theory. Stud Logica 43, 17–32 (1984). https://doi.org/10.1007/BF00935737
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00935737