Socratic proofs and paraconsistency: A case study
Studia Logica 80 (2-3):431 - 466 (2005)
| Abstract | This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak paraconsistent logic CLuN and Schütte's maximally paraconsistent logic Φv. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic. | |||||||||
| 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,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGreg Restall (2002). Paraconsistency Everywhere. Notre Dame Journal of Formal Logic 43 (3):147-156.
Gemma Robles & José M. Méndez (2009). Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency. Journal of Logic, Language and Information 18 (3).
Dorota Leszczyńska-Jasion (2009). A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S. Journal of Philosophical Logic 38 (2):151 - 177.
Dorota Leszczynska-Jasion (2007). The Method of Socratic Proofs for Normal Modal Propositional Logics. Wydawn. Naukowe Uniwersytetu Im. Adama Mickiewicza.
Dorota Leszczynska (2007). The Method of Socratic Proofs for Normal Modal Propositional Logics. Wydawn. Naukowe Uniwersytetu Im. Adama Mickiewicza.
Dorota Leszczyńska-Jasion (2008). The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4f, S4r, S4m and G. Studia Logica 89 (3):365 - 399.
Andrzej Wiśniewski (2004). Socratic Proofs. Journal of Philosophical Logic 33 (3):299-326.
John Grant & V. S. Subrahmanian (2000). Applications of Paraconsistency in Data and Knowledge Bases. Synthese 125 (1-2):121-132.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads8 ( #123,092 of 549,087 )Recent downloads (6 months)1 ( #63,317 of 549,087 )How can I increase my downloads? |
My notes
Discussion
