- Entailment: The Logic of Relevance and Necessity Vol. 2.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn (eds.) - 1992 - Princeton, NJ, USA: Princeton University Press.details
|
|
Entailment: The Logic of Relevance and Necessity, Vol. 1.A. Anderson & N. Belnap (eds.) - 1975 - Princeton, NJ, USA: Princeton University Press.details
|
|
On structural completeness of many-valued logics.Piotr Wojtylak - 1978 - Studia Logica 37 (2):139 - 147.details
|
|
Rule Separation and Embedding Theorems for Logics Without Weakening.Clint J. van Alten & James G. Raftery - 2004 - Studia Logica 76 (2):241-274.details
|
|
There exist exactly two maximal strictly relevant extensions of the relevant logic R.Kazimierz Swirydowicz - 1999 - Journal of Symbolic Logic 64 (3):1125-1154.details
|
|
On conserving positive logics.Robert K. Meyer - 1973 - Notre Dame Journal of Formal Logic 14 (2):224-236.details
|
|
Definitional equivalence and algebraizability of generalized logical systems.Alexej P. Pynko - 1999 - Annals of Pure and Applied Logic 98 (1-3):1-68.details
|
|
On the structural completeness of some pure implicational propositional calculi.Tadeusz Prucnal - 1972 - Studia Logica 30 (1):45 - 52.details
|
|
Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.details
|
|
The finite model property for various fragments of intuitionistic linear logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.details
|
|
E, r, and γ.Robert K. Meyer & J. Michael Dunn - 1969 - Journal of Symbolic Logic 34 (3):460-474.details
|
|
E, R and.Robert K. Meyer - 1969 - Journal of Symbolic Logic 34:460.details
|
|
E is a conservative extension of eī.Robert K. Meyer & Richard Routley - 1974 - Philosophia 4 (2-3):223-249.details
|
|
Decision problems for propositional linear logic.Patrick Lincoln, John Mitchell, Andre Scedrov & Natarajan Shankar - 1992 - Annals of Pure and Applied Logic 56 (1-3):239-311.details
|
|
The finite model property for various fragments of linear logic.Yves Lafont - 1997 - Journal of Symbolic Logic 62 (4):1202-1208.details
|
|
A structurally complete fragment of relevant logic.John K. Slaney & Robert K. Meyer - 1992 - Notre Dame Journal of Formal Logic 33 (4):561-566.details
|
|
On the admissible rules of intuitionistic propositional logic.Rosalie Iemhoff - 2001 - Journal of Symbolic Logic 66 (1):281-294.details
|
|
Conserving involution in residuated structures.Ai-ni Hsieh & James G. Raftery - 2007 - Mathematical Logic Quarterly 53 (6):583-609.details
|
|
A finite model property for RMImin.Ai-ni Hsieh & James G. Raftery - 2006 - Mathematical Logic Quarterly 52 (6):602-612.details
|
|
Book Reviews. [REVIEW]P. Hájek - 2002 - Studia Logica 72 (3):433-443.details
|
|
Bounded BCK‐algebras and their generated variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.details
|
|
Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.details
|
|
Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.details
|
|
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Studia Logica 83 (1-3):279-308.details
|
|
Adding involution to residuated structures.Nikolaos Galatos & James G. Raftery - 2004 - Studia Logica 77 (2):181 - 207.details
|
|
Note on algebraic models for relevance logic.Josep M. Font & Gonzalo Rodríguez - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):535-540.details
|
|
Structural completeness of Gödel's and Dummett's propositional calculi.Wojciech Dzik & Andrzej Wroński - 1973 - Studia Logica 32 (1):69-73.details
|
|
Algebraic completeness results for r-Mingle and its extensions.J. Michael Dunn - 1970 - Journal of Symbolic Logic 35 (1):1-13.details
|
|
A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.details
|
|
The finite model property for BCI and related systems.Wojciech Buszkowski - 1996 - Studia Logica 57 (2-3):303 - 323.details
|
|
Fragments of R-Mingle.W. J. Blok & J. G. Raftery - 2004 - Studia Logica 78 (1-2):59-106.details
|
|
Implicational f-structures and implicational relevance logics.A. Avron - 2000 - Journal of Symbolic Logic 65 (2):788-802.details
|
|
Lectures on Linear Logic.Anne Sjerp Troelstra - 1992 - Center for the Study of Language and Information Publications.details
|
|
Algebraizable Logics.W. J. Blok & Don Pigozzi - 2022 - Advanced Reasoning Forum.details
|
|
Admissibility of logical inference rules.Vladimir Vladimir Rybakov - 1997 - New York: Elsevier.details
|
|
Algebraic Logic.H. Andréka, James Donald Monk & I. Németi - 1991 - North Holland.details
|
|
Upper Part of the Lattice of Extensions of the Positive Relevant Logic R+.Kazimierz Swirydowicz - 2006 - Reports on Mathematical Logic:3-13.details
|
|
There Exist Exactly Two Maximal Strictly Relevant Extensions of the Relevant Logic R.Kazimierz Swirydowicz - 1999 - Journal of Symbolic Logic 64 (3):1125-1154.details
|
|
An essay on unification and inference rules for modal logics.V. V. Rybakov, M. Terziler & C. Gencer - 1999 - Bulletin of the Section of Logic 28 (3):145-157.details
|
|