The power of Belnap: Sequent systems for sixteen
Journal of Philosophical Logic (forthcoming)
| Abstract | The trilattice is a natural generalization of the well-known bilattice . Cut-free, sound and complete sequent calculi for truth entailment and falsity entailment in are presented. | |||||||||
| 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 |
 |
| Through your library | Configure |
Similar books and articlesAlexej P. Pynko (2009). Distributive-Lattice Semantics of Sequent Calculi with Structural Rules. Logica Universalis 3 (1).
Francesco Belardinelli, Peter Jipsen & Hiroakira Ono (2004). Algebraic Aspects of Cut Elimination. Studia Logica 77 (2):209 - 240.
Philip Hugly & Charles Sayward (1981). Completeness Theorems for Two Propositional Logics in Which Identity Diverges From Mutual Entailment. Notre Dame Journal of Formal Logic 22 (3):269-282.
Sergei P. Odintsov (2009). On Axiomatizing Shramko-Wansing's Logic. Studia Logica 91 (3):407 - 428.
Norihiro Kamide & Heinrich Wansing (2009). Sequent Calculi for Some Trilattice Logics. Review of Symbolic Logic 2 (2):374-395.
René Lavendhomme & Thierry Lucas (2000). Sequent Calculi and Decision Procedures for Weak Modal Systems. Studia Logica 66 (1):121-145.
Ryo Kashima (1994). Cut-Free Sequent Calculi for Some Tense Logics. Studia Logica 53 (1):119 - 135.
Dmitry Zaitsev (2009). A Few More Useful 8-Valued Logics for Reasoning with Tetralattice Eight. Studia Logica 92 (2):265 - 280.
Analytics
Monthly downloads |
Added to index2010-06-12Total downloads28 ( #44,870 of 556,840 )Recent downloads (6 months)1 ( #64,931 of 556,840 )How can I increase my downloads? |
My notes
Discussion
