- Relevant Logic: A Philosophical Interpretation.Edwin Mares - 2004 - New York: Cambridge University Press.details
|
|
Fragments of R-Mingle.W. J. Blok & J. G. Raftery - 2004 - Studia Logica 78 (1-2):59-106.details
|
|
An Introduction to Substructural Logics.Greg Restall - 1999 - New York: Routledge.details
|
|
Topological Representations of Distributive Lattices and Brouwerian Logics.M. H. Stone - 1938 - Journal of Symbolic Logic 3 (2):90-91.details
|
|
The theory of Representations for Boolean Algebras.M. H. Stone - 1936 - Journal of Symbolic Logic 1 (3):118-119.details
|
|
Combinators and structurally free logic.J. Dunn & R. Meyer - 1997 - Logic Journal of the IGPL 5 (4):505-537.details
|
|
Automated Theorem-proving in Non-classical Logics.Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer - 1988 - Pitman Publishing.details
|
|
Substructural Logics.Peter Joseph Schroeder-Heister & Kosta Došen - 1993 - Oxford, England: Oxford University Press on Demand.details
|
|
BLASS. A., A game semantics for linear logic CENZER, D. and REMMEL, J., Polynomial-time Abehan groups CLOTE, P. and TAKEUTI, G., Bounded arithmetic for NC, ALogTIME, L and NL. [REVIEW]P. Lincoln, J. Mitchell & A. Scedrov - 1992 - Annals of Pure and Applied Logic 56:365.details
|
|
Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus $${LT_\to^{t}}$$ L T → t for Implicational Ticket Entailment.Katalin Bimbó & J. Michael Dunn - 2014 - Logica Universalis 8 (2):141-164.details
|
|
Converse Ackermann property and constructive negation defined with a negation connective.Gemma Robles & José M. Méndez - 2006 - Logic and Logical Philosophy 15 (2):113-130.details
|
|
Relevance Logic.Michael Dunn & Greg Restall - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
New Consecution Calculi for R→t.Katalin Bimbó & J. Michael Dunn - 2012 - Notre Dame Journal of Formal Logic 53 (4):491-509.details
|
|
(2 other versions)Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.details
|
|
(1 other version)Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.details
|
|
Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.details
|
|
General Frames for Relevant Modal Logics.Takahiro Seki - 2003 - Notre Dame Journal of Formal Logic 44 (2):93-109.details
|
|
(1 other version)Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions. Amsterdam,: North Holland. pp. 92-130.details
|
|
(1 other version)Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi.Saul A. Kripke - 1965 - In J. W. Addison (ed.), The theory of models. Amsterdam,: North-Holland Pub. Co.. pp. 206-20.details
|
|
(1 other version)Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.details
|
|
Conservativity of Heyting implication over relevant quantification.Robert Goldblatt - 2009 - Review of Symbolic Logic 2 (2):310-341.details
|
|
Relevant logics and their rivals.Richard Sylvan & Ross Brady (eds.) - 1982 - Atascadero, CA: Ridgeview Pub. Co..details
|
|
The semantics of entailment — III.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (2):192 - 208.details
|
|
Classical relevant logics II.Robert K. Meyer & Richard Routley - 1974 - Studia Logica 33 (2):183 - 194.details
|
|
(1 other version)A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.details
|
|
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.details
|
|
Normal modal substructural logics with strong negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.details
|
|
(1 other version)The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.details
|
|
TW+ and RW+ are decidable.Steve Giambrone - 1985 - Journal of Philosophical Logic 14 (3):235 - 254.details
|
|
Quantification and RM.J. Michael Dunn - 1976 - Studia Logica 35 (3):315 - 322.details
|
|
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.details
|
|
Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.details
|
|
(2 other versions)Kripke models for linear logic.Gerard Allwein & J. Michael Dunn - 1993 - Journal of Symbolic Logic 58 (2):514-545.details
|
|
Proof theory: sequent calculi and related formalisms.Katalin Bimbo - 2014 - Boca Raton: CRC Press, Taylor & Francis Group.details
|
|
(2 other versions)The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1973 - In Hugues Leblanc (ed.), Truth, Syntax, and Modality: Proceedings Of The Temple University Conference On Alternative Semantlcs. Amsterdam and London: North-Holland Publishing Company. pp. 199-243.details
|
|
Classical relevant logics. I.R. K. Meyer & Richard Routley - 1973 - Studia Logica 32:51.details
|
|
(1 other version)Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke, J. N. Crossley & M. A. E. Dummett - 1970 - Journal of Symbolic Logic 35 (2):330-332.details
|
|
Admissibility of Cut in LC with Fixed Point Combinator.Katalin Bimbó - 2005 - Studia Logica 81 (3):399-423.details
|
|
(1 other version)The Weak Theory of Implication.Alonzo Church - 1951 - In Albert Menne (ed.), Kontrolliertes Denken: Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften. K. Alber. pp. 22-37.details
|
|
(2 other versions)The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1977 - Journal of Symbolic Logic 42 (2):315-316.details
|
|
Semantics for structurally free logics LC+.K. Bimbó - 2001 - Logic Journal of the IGPL 9 (4):525-539.details
|
|
The Collected Papers of Gerhard Gentzen. [REVIEW]G. Kreisel - 1971 - Journal of Philosophy 68 (8):238-265.details
|
|
Ternary relations and relevant semantics.Robert K. Meyer - 2004 - Annals of Pure and Applied Logic 127 (1-3):195-217.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
|
|
On the decidability of implicational ticket entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.details
|
|
Dual Gaggle Semantics for Entailment.Katalin Bimbó - 2009 - Notre Dame Journal of Formal Logic 50 (1):23-41.details
|
|
Four-valued Logic.Katalin Bimbó & J. Michael Dunn - 2001 - Notre Dame Journal of Formal Logic 42 (3):171-192.details
|
|
Symmetric generalized galois logics.Katalin Bimbó & J. Michael Dunn - 2009 - Logica Universalis 3 (1):125-152.details
|
|
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.details
|
|
Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.details
|
|