Studia Logica 43 (1-2):17 - 32 (1984)
|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 . In particular we prove counterparts of the theorems of o-Tarski and Chang-o-Suszko, Craig-Robinson and the Beth definability theorem|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Z. Weber (2011). A Paraconsistent Model of Vagueness. Mind 119 (476):1025-1045.
Newton C. A. Costa & Walter A. Carnielli (1986). On Paraconsistent Deontic Logic. Philosophia 16 (3-4):293-305.
Newton C. A. Costa & Walter A. Carnielli (1986). On Paraconsistent Deontic Logic. Philosophia 16 (3-4).
Graham Priest (1991). Minimally Inconsistent LP. Studia Logica 50 (2):321 - 331.
Greg Restall (2002). Paraconsistency Everywhere. Notre Dame Journal of Formal Logic 43 (3):147-156.
Newton C. A. da Costa & Décio Krause, Remarks on the Applications of Paraconsistent Logic to Physics.
Reinhard Muskens (1999). On Partial and Paraconsistent Logics. Notre Dame Journal of Formal Logic 40 (3):352-374.
Added to index2009-01-28
Total downloads27 ( #45,835 of 549,224 )
Recent downloads (6 months)1 ( #63,397 of 549,224 )
How can I increase my downloads?