- 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
|
|
Negation as cancellation, and connexive logic.Graham Priest - 1999 - Topoi 18 (2):141-148.details
|
|
Minimally inconsistent LP.Graham Priest - 1991 - Studia Logica 50 (2):321 - 331.details
|
|
Inconsistent models of arithmetic part I: Finite models. [REVIEW]Graham Priest - 1997 - Journal of Philosophical Logic 26 (2):223-235.details
|
|
Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.details
|
|
Inconsistent models for relevant arithmetics.Robert Meyer & Chris Mortensen - 1984 - Journal of Symbolic Logic 49 (3):917-929.details
|
|
Kripke Completeness of First-Order Constructive Logics with Strong Negation.Ichiro Hasuo & Ryo Kashima - 2003 - Logic Journal of the IGPL 11 (6):615-646.details
|
|
Dunn–Priest Quotients of Many-Valued Structures.Thomas Macaulay Ferguson - 2017 - Notre Dame Journal of Formal Logic 58 (2):221-239.details
|
|
A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic.J. Michael Dunn - 1979 - Studia Logica 38 (2):149 - 169.details
|
|
Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.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
|
|
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
|
|
Linear arithmetic desecsed.John K. Slaney, Robert K. Meyer & Greg Restall - 1996 - Logique Et Analyse 39:379-388.details
|
|