The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic
Notre Dame Journal of Formal Logic 35 (3):355-368 (1994)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| 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,875 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesBeata Konikowska (1990). A Two-Valued Logic for Reasoning About Different Types of Consequence in Kleene's Three-Valued Logic. Studia Logica 49 (4):541 - 555.
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge (2008). Strong Completeness and Limited Canonicity for PDL. Journal of Logic, Language and Information 17 (1).
Hugues Leblanc (1977). A Strong Completeness Theorem for $3$-Valued Logic. II. Notre Dame Journal of Formal Logic 18 (1):107-116.
Leon Horsten (2006). Axiomatizing Kripke's Theory of Truth. Journal of Symbolic Logic 71 (2):677 - 712.
H. Goldberg, H. Leblanc & G. Weaver (1974). A Strong Completeness Theorem for $3$-Valued Logic. Notre Dame Journal of Formal Logic 15 (2):325-330.
Volker Halbach & Leon Horsten (2006). Axiomatizing Kripke's Theory of Truth. Journal of Symbolic Logic 71 (1):677--712.
Arnon Avron & Beata Konikowska (2009). Proof Systems for Reasoning About Computation Errors. Studia Logica 91 (2):273 - 293.
Xavier Caicedo & Ricardo O. Rodriguez (2010). Standard Gödel Modal Logics. Studia Logica 94 (2).
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads2 ( #234,778 of 556,896 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
