- Connexive Modal Logic.H. Wansing - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 367-383.details
|
|
Connexive Modal Logic.H. Wansing - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 367-383.details
|
|
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.details
|
|
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.details
|
|
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.details
|
|
Suszko’s Thesis, Inferential Many-valuedness, and the Notion of a Logical System.Heinrich Wansing & Yaroslav Shramko - 2008 - Studia Logica 88 (3):405-429.details
|
|
A Note On Negation In Categorial Grammar.Heinrich Wansing - 2007 - Logic Journal of the IGPL 15 (3):271-286.details
|
|
Logic and structure.D. van Dalen - 1980 - New York: Springer Verlag.details
|
|
Notes on N-lattices and constructive logic with strong negation.D. Vakarelov - 1977 - Studia Logica 36 (1-2):109-125.details
|
|
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.Dimiter Vakarelov - 2006 - Studia Logica 84 (1):105-127.details
|
|
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.Dimiter Vakarelov - 2005 - Studia Logica 80 (2):393-430.details
|
|
A semantical study of constructible falsity.Richmond H. Thomason - 1969 - Mathematical Logic Quarterly 15 (16‐18):247-257.details
|
|
A semantical study of constructible falsity.Richmond H. Thomason - 1969 - Mathematical Logic Quarterly 15 (16-18):247-257.details
|
|
Some Useful 16-Valued Logics: How a Computer Network Should Think.Yaroslav Shramko & Heinrich Wansing - 2005 - Journal of Philosophical Logic 34 (2):121-153.details
|
|
Semantical analyses of propositional systems of Fitch and Nelson.Richard Routley - 1974 - Studia Logica 33 (3):283 - 298.details
|
|
Applications of Kripke models to Heyting-Brouwer logic.Cecylia Rauszer - 1977 - Studia Logica 36 (1-2):61 - 71.details
|
|
A formalization of the propositional calculus of H-B logic.Cecylia Rauszer - 1974 - Studia Logica 33 (1):23 - 34.details
|
|
Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.details
|
|
Constructible Falsity.David Nelson - 1950 - Journal of Symbolic Logic 15 (3):228-228.details
|
|
Connexive implication and the syllogism.Storrs McCall - 1967 - Mind 76 (303):346-356.details
|
|
Advances in Modal Logic.Edwin D. Mares - 2002 - Bulletin of Symbolic Logic 8 (1):95-97.details
|
|
Phase semantics and Petri net interpretation for resource-sensitive strong negation.Norihiro Kamide - 2006 - Journal of Logic, Language and Information 15 (4):371-401.details
|
|
A note on dual-intuitionistic logic.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (5):519.details
|
|
Dual-Intuitionistic Logic.Igor Urbas - 1996 - Notre Dame Journal of Formal Logic 37 (3):440-451.details
|
|
Intuitionistic logic with strong negation.Yuri Gurevich - 1977 - Studia Logica 36 (1-2):49 - 59.details
|
|
Erratum to Suszko’s Thesis, Inferential Many-valuedness, and the Notion of a Logical System Studia Logica, 88:405–429, 2008. [REVIEW]Heinrich Wansing & Yaroslav Shramko - 2008 - Studia Logica 89 (1):147-147.details
|
|
Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.details
|
|
Anti-intuitionism and paraconsistency.Andreas B. M. Brunner & Walter A. Carnielli - 2005 - Journal of Applied Logic 3 (1):161-184.details
|
|
Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.details
|
|
Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.details
|
|
The Logic of Information Structures.H. Wansing - 1993details
|
|
An algebraic and Kripke-style approach to a certain extension of intuitionistic logic.Cecylia Rauszer - 1980 - Warszawa: [available from Ars Polona].details
|
|
Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
A Canonical Model Construction For Substructural Logics With Strong Negation.N. Kamide - 2002 - Reports on Mathematical Logic:95-116.details
|
|
A cut-free sequent calculus for bi-intuitionistic logic.Rajeev Gore - manuscriptdetails
|
|