- Boolean negation and all that.Graham Priest - 1990 - Journal of Philosophical Logic 19 (2):201 - 215.details
|
|
Implicational paradoxes and the meaning of logical constants.Francesco Paoli - 2007 - Australasian Journal of Philosophy 85 (4):553 – 579.details
|
|
Algebraic Analysis of Demodalised Analytic Implication.Antonio Ledda, Francesco Paoli & Michele Pra Baldi - 2019 - Journal of Philosophical Logic 48 (6):957-979.details
|
|
(1 other version)The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.details
|
|
Studies in paraconsistent logic I: The dialectical principle of the unity of opposites.Newton C. A. Costa & Robert G. Wolf - 1980 - Philosophia 9 (2):189-217.details
|
|
(1 other version)Australasian Association for Logic 30th Anniversary Conference.Martin Bunder - 1996 - Bulletin of Symbolic Logic 2 (1):112-120.details
|
|
Relevant Consequence Relations: An Invitation.Guillermo Badia, Libor Běhounek, Petr Cintula & Andrew Tedder - forthcoming - Review of Symbolic Logic:1-31.details
|
|
Non-Boolean classical relevant logics I.Tore Fjetland Øgaard - 2019 - Synthese (8):1-32.details
|
|
E is a conservative extension of eī.Robert K. Meyer & Richard Routley - 1974 - Philosophia 4 (2-3):223-249.details
|
|
Completeness and conservative extension results for some Boolean relevant logics.Steve Giambrone & Robert K. Meyer - 1989 - Studia Logica 48 (1):1 - 14.details
|
|
Studies in paraconsistent logic I: The dialectical principle of the unity of opposites.Newton C. A. Da Costa & Robert G. Wolf - 1980 - Philosophia 9 (2):189-217.details
|
|
Simulation logic.Gerard Allwein, William L. Harrison & David Andrews - 2014 - Logic and Logical Philosophy 23 (3).details
|
|
R and Relevance Principle Revisited.Eunsuk Yang - 2013 - Journal of Philosophical Logic 42 (5):767-782.details
|
|
Pure semantics and applied semantics.B. J. Copeland - 1983 - Topoi 2 (2):197-204.details
|
|
Safe Contraction Revisited.Hans Rott & Sven Ove Hansson - 2014 - In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems (Outstanding Contributions to Logic, Vol. 3). Springer. pp. 35–70.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
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|