Paraconsistent logic and model theory
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 [5]. 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) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesZ. 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.
Reinhard Muskens (1999). On Partial and Paraconsistent Logics. Notre Dame Journal of Formal Logic 40 (3):352-374.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads27 ( #45,835 of 549,224 )Recent downloads (6 months)1 ( #63,397 of 549,224 )How can I increase my downloads? |
My notes
Discussion
