{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T21:10:50Z","timestamp":1708204250809},"reference-count":292,"publisher":"Elsevier","isbn-type":[{"value":"9780444516220","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1016\/s1874-5857(06)80030-0","type":"book-chapter","created":{"date-parts":[[2007,9,8]],"date-time":"2007-09-08T02:50:27Z","timestamp":1189219827000},"page":"289-398","source":"Crossref","is-referenced-by-count":19,"title":["Relevant and substructural logics"],"prefix":"10.1016","author":[{"given":"Greg","family":"Restall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1874-5857(06)80030-0_bib1","first-page":"1","article-title":"Domain Theory","volume":"volume 3","author":"Abramsky","year":"1994"},{"key":"10.1016\/S1874-5857(06)80030-0_bib2","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/2268750","article-title":"Begr\u00fcndung Einer Strengen Implikation","volume":"21","author":"Ackermann","year":"1956","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib3","article-title":"Non-Well-Founded Sets","author":"Aczel","year":"1988"},{"key":"10.1016\/S1874-5857(06)80030-0_bib4","first-page":"1","article-title":"Die Syntaktische Konnexit\u00e4t","volume":"1","author":"Ajdukiewicz","year":"1935","journal-title":"Stadia Philosophical"},{"key":"10.1016\/S1874-5857(06)80030-0_bib5","series-title":"Proceedings of the First World Conference on Paraconsistency","article-title":"Relevant Counterfactuals and Paraconsistency","author":"Akama","year":"1997"},{"issue":"604","key":"10.1016\/S1874-5857(06)80030-0_bib6","article-title":"Decision Problems for Equational Theories of Relation Algebras","volume":"126","author":"And\u00e9ka","year":"1997","journal-title":"Memoirs of the American Mathematical Society"},{"key":"10.1016\/S1874-5857(06)80030-0_bib7","doi-asserted-by":"crossref","first-page":"107","DOI":"10.2307\/2964754","article-title":"Modalities in Ackermann's \u2018Rigorous Implication\u2019","volume":"24","author":"Anderson","year":"1959","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib8","doi-asserted-by":"crossref","first-page":"713","DOI":"10.2307\/2023169","article-title":"Enthymemes","volume":"58","author":"Anderson","year":"1961","journal-title":"Journal of Philosophy"},{"key":"10.1016\/S1874-5857(06)80030-0_bib9","doi-asserted-by":"crossref","first-page":"19","DOI":"10.2307\/2963676","article-title":"The Pure Calculus of Entailment","volume":"27","author":"Anderson","year":"1962","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib10","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF00818100","article-title":"Tautological Entailments","volume":"13","author":"Anderson","year":"1962","journal-title":"Philosophical Studies"},{"key":"10.1016\/S1874-5857(06)80030-0_bib11","volume":"volume 1","author":"Anderson","year":"1975"},{"key":"10.1016\/S1874-5857(06)80030-0_bib12","volume":"volume 2","author":"Anderson","year":"1992"},{"key":"10.1016\/S1874-5857(06)80030-0_bib13","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1305\/ndjfl\/1093636610","article-title":"On Purely Relevant Logics","volume":"27","author":"Avron","year":"1986","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib14","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF00260930","article-title":"Whither Relevance Logic?","volume":"21","author":"Avron","year":"1992","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib15","doi-asserted-by":"crossref","first-page":"47","DOI":"10.2307\/410452","article-title":"A Quasiarithmetical Notation for Syntactic Description","volume":"28","author":"Bar-Hillel","year":"1953","journal-title":"Language"},{"key":"10.1016\/S1874-5857(06)80030-0_bib16","doi-asserted-by":"crossref","first-page":"931","DOI":"10.2307\/2273659","article-title":"A Filter Lambda Model and the Completeness of Type Assignment","volume":"48","author":"Barendregt","year":"1983","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib17","series-title":"Category Theory for Computing Science","author":"Barr","year":"1990"},{"key":"10.1016\/S1874-5857(06)80030-0_bib18","series-title":"Logic, Language and Computation, Proceedings of Information-Oriented Approaches to Logic, Language and Computation","first-page":"47","article-title":"Information Flow and the Lambek Calculus","author":"Barwise","year":"1996"},{"key":"10.1016\/S1874-5857(06)80030-0_bib19","series-title":"Language, Proof and Logic","author":"Barwise","year":"2000"},{"key":"10.1016\/S1874-5857(06)80030-0_bib20","series-title":"Vicious Circles","author":"Barwise","year":"1997"},{"key":"10.1016\/S1874-5857(06)80030-0_bib21","series-title":"Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science","first-page":"252","article-title":"Imperfect Information Flow","author":"Barwise","year":"1993"},{"key":"10.1016\/S1874-5857(06)80030-0_bib22","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1080\/00048400012349751","article-title":"Logical Pluralism","volume":"78","author":"Beall","year":"2000","journal-title":"Australasian Journal of Philosophy"},{"key":"10.1016\/S1874-5857(06)80030-0_bib23","series-title":"Logical Consequence: Rival Approaches. Proceedings of the 1999 Conference of the Society of Exact Philosophy","first-page":"1","article-title":"Defending Logical Pluralism","author":"Beall","year":"2001"},{"key":"10.1016\/S1874-5857(06)80030-0_bib24","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1093\/oxfordjournals.bjps\/37.1.83","article-title":"A New Approach to Quantum Logic","volume":"37","author":"Bell","year":"1986","journal-title":"British Journal for the Philosophy of Science"},{"key":"10.1016\/S1874-5857(06)80030-0_bib25","series-title":"Models and Ultraproducts: An Introduction","author":"Bell","year":"1969"},{"key":"10.1016\/S1874-5857(06)80030-0_bib26","first-page":"91","article-title":"Proof Nets for Multiplicative and Additive Linear Logic","author":"Bellin","year":"1991"},{"key":"10.1016\/S1874-5857(06)80030-0_bib27","first-page":"431","article-title":"Special Cases of the Decision Problem of Relevant Implication","volume":"32","author":"Belnap","year":"1967","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib28","series-title":"Contemporary Aspects of Philosophy","first-page":"30","article-title":"How a Computer Should Think","author":"Belnap","year":"1977"},{"key":"10.1016\/S1874-5857(06)80030-0_bib29","series-title":"Modern Uses of Multiple-Valued logics","first-page":"8","article-title":"A Useful Four-Valued Logic","author":"Belnap","year":"1977"},{"key":"10.1016\/S1874-5857(06)80030-0_bib30","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00284976","article-title":"Display Logic","volume":"11","author":"Belnap","year":"1982","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib31","first-page":"15","article-title":"Linear Logic Displayed","volume":"31","author":"Belnap","year":"1990","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib32","series-title":"Substructural Logics","first-page":"31","article-title":"Life in the Undistributed Middle","author":"Belnap","year":"1993"},{"key":"10.1016\/S1874-5857(06)80030-0_bib33_1","series-title":"Philosophy of Language \/ Philosophical Logic","first-page":"337","article-title":"Entailment and the Disjunctive Syllogism","author":"Belnap","year":"1981"},{"key":"10.1016\/S1874-5857(06)80030-0_bib33_2","volume":"Volume 2","year":"1992","journal-title":"Entailment"},{"key":"10.1016\/S1874-5857(06)80030-0_bib34","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/BF00262861","article-title":"A consecutive calculus for positive relevant implication with necessity","volume":"9","author":"Belnap","year":"1980","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib35","article-title":"A Decision Procedure for the System E\u2212I of Entailment With Negation","author":"Belnap","year":"1961"},{"key":"10.1016\/S1874-5857(06)80030-0_bib36","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1002\/malq.19650110403","article-title":"A Decision Procedure for the System E\u2212I of Entailment With Negation","volume":"11","author":"Belnap","year":"1965","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(06)80030-0_bib37","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF00250539","article-title":"Language in Action","volume":"20","author":"van Benthem","year":"1991","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib38","series-title":"Proceedings of the Sixth Workshop on Computer Science Logic","first-page":"61","article-title":"Linear gl-Calculus and Categorical Models Revisited","author":"Benton","year":"1992"},{"key":"10.1016\/S1874-5857(06)80030-0_bib39","article-title":"Term Assignment for Intuitionistic Linear Logic","author":"Benton","year":"1992"},{"key":"10.1016\/S1874-5857(06)80030-0_bib40","series-title":"Proceedings of the International Conference on Typed Lambda Calculi and Applications","first-page":"75","article-title":"A Term Calculus for Intuitionistic Linear Logic","author":"Benton","year":"1993"},{"issue":"4","key":"10.1016\/S1874-5857(06)80030-0_bib41","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1093\/jigpal\/9.4.525","article-title":"Semantics for Structurally Free Logics LC +","volume":"9","author":"Bimb\u00f3","year":"2001","journal-title":"Logic Journal of the IGPL"},{"issue":"3","key":"10.1016\/S1874-5857(06)80030-0_bib42","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1093\/jigpal\/6.3.403","article-title":"Two Extensions of the Structurally Free Logic LC","volume":"6","author":"Bimb\u00f3","year":"1998","journal-title":"Logic Journal of the IGPL"},{"issue":"3","key":"10.1016\/S1874-5857(06)80030-0_bib43","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0022-4049(95)00159-X","article-title":"Natural Deduction and Coherence for Weakly Distributive Categories","volume":"13","author":"Blute","year":"1996","journal-title":"Journal of Pure and Applied Algebra"},{"key":"10.1016\/S1874-5857(06)80030-0_bib44","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1305\/ndjfl\/1093870447","article-title":"The Simple Consistency of a Set Theory Based on the Logic CSQ","volume":"24","author":"Brady","year":"1983","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib45","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BF00370286","article-title":"A Content Semantics for Quantified Relevant Logics I","volume":"47","author":"Brady","year":"1988","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80030-0_bib46","series-title":"Paraconsistent Logic: Essays on the Inconsistent","first-page":"437","article-title":"The Non-Triviality of Dialectical Set Theory","author":"Brady","year":"1989"},{"key":"10.1016\/S1874-5857(06)80030-0_bib47","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF00454743","article-title":"Gentzenization and Decidability of Some Contraction-less Relevant Logics","volume":"20","author":"Brady","year":"1991","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib48","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF00247002","article-title":"Relevant Implication and the Case for a Weaker Logic","volume":"25","author":"Brady","year":"1996","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib49","series-title":"Paraconsistent Logic: Essays on the Inconsistent","first-page":"415","article-title":"The Non-Triviality of Extensional Dialectical Set Theory","author":"Brady","year":"1989"},{"key":"10.1016\/S1874-5857(06)80030-0_bib50","series-title":"Making It Explicit","author":"Brandom","year":"1994"},{"key":"10.1016\/S1874-5857(06)80030-0_bib51","article-title":"BCK-Predicate Logic as a Foundation of Multiset Theory","author":"Bunder","year":"1985"},{"key":"10.1016\/S1874-5857(06)80030-0_bib52","series-title":"PhD thesis","article-title":"Representations of Semilattice Relevance Logic","author":"Charlewood","year":"1978"},{"key":"10.1016\/S1874-5857(06)80030-0_bib53","doi-asserted-by":"crossref","first-page":"233","DOI":"10.2307\/2273616","article-title":"An axiomatic version of positive semi-lattice relevance logic","volume":"4","author":"Charlewood","year":"1981","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib54","series-title":"Annals of Mathematical Studies","article-title":"The Calculi of Lambda-Conversion","author":"Church","year":"1941"},{"key":"10.1016\/S1874-5857(06)80030-0_bib55","first-page":"238","article-title":"The Weak Positive Implication Calculus","volume":"16","author":"Church","year":"1951","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib56_1","series-title":"Kontroliertes Denken: Untersuchungen zum Logikkalkiil und zur Logik der Einzelwissenschaften","first-page":"22","article-title":"The Weak Theory of Implication","author":"Church","year":"1951"},{"key":"10.1016\/S1874-5857(06)80030-0_bib56_2","series-title":"The Weak Positive Implication Calculus","year":"1951"},{"issue":"5","key":"10.1016\/S1874-5857(06)80030-0_bib57","first-page":"85","article-title":"Proof Theory for full intuitionistic linear logic, bilinear logic, and MIX categories","volume":"3","author":"Cockett","year":"1997","journal-title":"Theory and Applications of categories"},{"key":"10.1016\/S1874-5857(06)80030-0_bib58","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF00258440","article-title":"On When a Semantics is not a Semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic","volume":"8","author":"Copeland","year":"1979","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib59","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1093\/mind\/XCV.380.478","article-title":"What is a Semantics for Classical Negation?","volume":"95","author":"Copeland","year":"1986","journal-title":"Mind"},{"key":"10.1016\/S1874-5857(06)80030-0_bib60","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19810270205","article-title":"Functional Characters of Solvable Terms","volume":"27","author":"Coppo","year":"1981","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(06)80030-0_bib61","article-title":"A Theory of Formal Deducibility","author":"Curry","year":"1950"},{"key":"10.1016\/S1874-5857(06)80030-0_bib62","volume":"volume 1","author":"Curry","year":"1958"},{"key":"10.1016\/S1874-5857(06)80030-0_bib63","volume":"volume 2","author":"Curry","year":"1972"},{"key":"10.1016\/S1874-5857(06)80030-0_bib64","article-title":"La Logique Lin\u00e9aire Appliqu\u00e9e \u00e0 l'\u00e9tude de divers processus de normalisation (et principalement du \u03bb-calcul)","author":"Danos","year":"1990"},{"key":"10.1016\/S1874-5857(06)80030-0_bib65","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF01622878","article-title":"The Structure of Multiplicatives","volume":"28","author":"Danos","year":"1989","journal-title":"Archive of Mathematical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib66","series-title":"Introduction to Lattices and Order","author":"Davey","year":"1990"},{"key":"10.1016\/S1874-5857(06)80030-0_bib67","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF00671566","article-title":"Sequent Systems and Groupoid Models, Part 1","volume":"47","author":"Do\u0161en","year":"1988","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80030-0_bib68","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF00370633","article-title":"Sequent Systems and Groupoid Models, Part 2","volume":"48","author":"Do\u0161en","year":"1989","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80030-0_bib69","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1002\/malq.19920380113","article-title":"A Brief Survey of Frames for the Lambek Calculus","volume":"38","author":"Do\u0161en","year":"1992","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(06)80030-0_bib70","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BF00260740","article-title":"The First Axiomatisation of Relevant Logic","volume":"21","author":"Do\u0161en","year":"1992","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib71","doi-asserted-by":"crossref","first-page":"243","DOI":"10.2307\/420991","article-title":"Deductive Completeness","volume":"2","author":"Do\u0161en","year":"1996","journal-title":"Bulletin of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib72","article-title":"Mathematical Intuitionism: Introduction to Proof Theory","author":"Grigorevich Dragalin","year":"1987"},{"key":"10.1016\/S1874-5857(06)80030-0_bib73","series-title":"The Logical Basis of Metaphysics","author":"Dummett","year":"1991"},{"key":"10.1016\/S1874-5857(06)80030-0_bib74","article-title":"The Algebra of Intensional Logics","author":"Michael Dunn","year":"1966"},{"key":"10.1016\/S1874-5857(06)80030-0_bib75","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2271149","article-title":"Algebraic Completeness for R-mingle and its Extensions","volume":"35","author":"Dunn","year":"1970","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib76","first-page":"363","article-title":"An Intuitive Semantics for First Degree Relevant Implications (abstract)","volume":"36","author":"Michael Dunn","year":"1971","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib77","first-page":"356","article-title":"A \u2018Gentzen\u2019 System for Positive Relevant Implication","volume":"38","author":"Michael Dunn","year":"1974","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib78","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","article-title":"Intuitive Semantics for First-Degree Entailments and Coupled Trees","volume":"29","author":"Michael Dunn","year":"1976","journal-title":"Philosophical Studies"},{"key":"10.1016\/S1874-5857(06)80030-0_bib79","first-page":"56","article-title":"A Variation on the Binary Semantics for RM","volume":"1","author":"Michael Dunn","year":"1976","journal-title":"Relevance Logic Newsletter"},{"key":"10.1016\/S1874-5857(06)80030-0_bib80","first-page":"117","article-title":"Relevance Logic and Entailment","volume":"volume 3","author":"Michael Dunn","year":"1986"},{"key":"10.1016\/S1874-5857(06)80030-0_bib81","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF00431183","article-title":"Relevant Predication 1: The Formal Theory","volume":"16","author":"Michael Dunn","year":"1987","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib82","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF00367469","article-title":"Relevant Predication 2: Intrinsic Properties and Internal Relations","volume":"60","author":"Michael Dunn","year":"1990","journal-title":"Philosophical Studies"},{"key":"10.1016\/S1874-5857(06)80030-0_bib83","series-title":"Truth or Consequences","first-page":"77","article-title":"Relevant Predication 3: Essential Properties","author":"Michael Dunn","year":"1990"},{"key":"10.1016\/S1874-5857(06)80030-0_bib84","series-title":"Logics in AI, Proceedings European Workshop JELIA 1990","article-title":"Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation and Various Logical Operations","author":"Michael Dunn","year":"1991"},{"key":"10.1016\/S1874-5857(06)80030-0_bib85","series-title":"Substructural Logics","first-page":"63","article-title":"Partial-Gaggles Applied to Logics with Restricted Structural Rules","author":"Michael Dunn","year":"1993"},{"key":"10.1016\/S1874-5857(06)80030-0_bib86","first-page":"331","article-title":"Star and Perp: Two Treatments of Negation","volume":"volume 7","author":"Michael Dunn","year":"1994"},{"key":"10.1016\/S1874-5857(06)80030-0_bib87","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF01061239","article-title":"Positive Modal Logic","volume":"55","author":"Michael Dunn","year":"1995","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80030-0_bib88","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5840\/philtopics199624111","article-title":"Is Existence a (Relevant) Predicate?","volume":"24","author":"Michael Dunn","year":"1996","journal-title":"Philosophical Topics"},{"key":"10.1016\/S1874-5857(06)80030-0_bib89","series-title":"The Cosmos of Science. Pittsburgh-Konstanz Series in the Philosophy and History of Science","article-title":"Relevant Predication: A Logical Framework for Natural Properties","author":"Michael Dunn","year":"1996"},{"key":"10.1016\/S1874-5857(06)80030-0_bib90","series-title":"Modern Uses of Multiple-Valued Logic","author":"Michael Dunn","year":"1977"},{"key":"10.1016\/S1874-5857(06)80030-0_bib91","first-page":"1","article-title":"Relevance Logic","volume":"volume 6","author":"Michael Dunn","year":"2002"},{"key":"10.1016\/S1874-5857(06)80030-0_bib92","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1093\/jigpal\/5.4.505","article-title":"Combinators and Structurally Free Logic","volume":"5","author":"Michael Dunn","year":"1997","journal-title":"Logic Journal of the IGPL"},{"key":"10.1016\/S1874-5857(06)80030-0_bib93","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1017\/S0960129500000281","article-title":"Thomas Ehrhard. Hypercoherences: a strongly stable model of linear logic","volume":"3","year":"1993","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1874-5857(06)80030-0_bib94","series-title":"Logic and Algebra (Pontignan, 1994)","first-page":"69","article-title":"The Logic of Commuting Equivalence Relations","author":"Finberg","year":"1996"},{"key":"10.1016\/S1874-5857(06)80030-0_bib95","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF00257480","article-title":"Models for Entailment","volume":"3","author":"Fine","year":"1974","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib96","first-page":"560","article-title":"Completeness for the Semilattice Semantics with Disjunction and Conjunction","volume":"41","author":"Fine","year":"1976","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib97","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF00249674","article-title":"Semantics for Quantified Relevance Logic","volume":"17","author":"Fine","year":"1988","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib98","series-title":"Symbolic Logic","author":"Fitch","year":"1952"},{"issue":"2","key":"10.1016\/S1874-5857(06)80030-0_bib99","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","article-title":"Bilattices and the Semantics of Logic Programming","volume":"11","author":"Fitting","year":"1989","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1874-5857(06)80030-0_bib100_1","series-title":"Grundgesetze der Arithmetik, Begriffsschriftlich abgeleitet","author":"Frege","year":"1893"},{"key":"10.1016\/S1874-5857(06)80030-0_bib100_2","series-title":"Gottlob Frege: Logical Investigations","year":"1952"},{"key":"10.1016\/S1874-5857(06)80030-0_bib101","doi-asserted-by":"crossref","first-page":"824","DOI":"10.2307\/2275433","article-title":"Whither Relevant Arithmetic?","volume":"57","author":"Friedman","year":"1992","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib102","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF01053023","article-title":"On S","volume":"53","author":"Fuhrmann","year":"1994","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80030-0_bib103","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1111\/j.1755-2567.1972.tb00927.x","article-title":"A General Theory of the Conditional in Terms of a Ternary Operator","volume":"38","author":"Gabbay","year":"1972","journal-title":"Theoria"},{"key":"10.1016\/S1874-5857(06)80030-0_bib104","series-title":"Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics","author":"Gabbay","year":"1976"},{"key":"10.1016\/S1874-5857(06)80030-0_bib105","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/S0304-3975(99)00176-0","article-title":"Connection methods in Linear Logic and Proof Nets Construction","volume":"232","author":"Galmiche","year":"2000","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80030-0_bib106","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1093\/analys\/15.3.71","article-title":"On Insolubilia","volume":"15","author":"Geach","year":"1955","journal-title":"Analysis"},{"key":"10.1016\/S1874-5857(06)80030-0_bib107","first-page":"157","article-title":"Entailment","volume":"32","author":"Geach","year":"1958","journal-title":"Aristotelian Society supplementary volume"},{"key":"10.1016\/S1874-5857(06)80030-0_bib108","series-title":"Translations from the Philosophical Writings of Gottlob Frege","author":"Geach","year":"1952"},{"key":"10.1016\/S1874-5857(06)80030-0_bib109","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","article-title":"Untersuchungen \u00fcber das logische Schliessen","volume":"39","author":"Gentzen","year":"1934","journal-title":"Math. Zeitschrift"},{"key":"10.1016\/S1874-5857(06)80030-0_bib110","series-title":"The Collected Papers of Gerhard Gentzen","year":"1969"},{"key":"10.1016\/S1874-5857(06)80030-0_bib111","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0168-0072(96)00048-6","article-title":"Constructive Canonicity in Non-ClassicalLogic","volume":"86","author":"Ghilardi","year":"1997","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib112","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/BF00249365","article-title":"TW+ and RW+ are Decidable","volume":"14","author":"Giambrone","year":"1985","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib113","series-title":"Axiomatic Set Theory","first-page":"147","article-title":"The Consistency of partial Set Theory without Extensionality","author":"Gilmore","year":"1974"},{"key":"10.1016\/S1874-5857(06)80030-0_bib114","doi-asserted-by":"crossref","first-page":"393","DOI":"10.2307\/2274063","article-title":"Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes","volume":"51","author":"Gilmore","year":"1986","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib115","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear Logic","volume":"50","author":"Girard","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80030-0_bib116","series-title":"Proof Theory and Logical Complexity","author":"Girard","year":"1987"},{"key":"10.1016\/S1874-5857(06)80030-0_bib117","series-title":"Advances in Linear Logic","first-page":"1","article-title":"Geometry of Interaction III: accomodating the additives","author":"Girard","year":"1995"},{"key":"10.1016\/S1874-5857(06)80030-0_bib118","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S1571-0661(05)80397-4","article-title":"Coherent Banach Spaces: A Continuous Denotational Semantics","volume":"3","author":"Girard","year":"1996","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80030-0_bib119","article-title":"Proofs and Types","author":"Girard","year":"1989"},{"key":"10.1016\/S1874-5857(06)80030-0_bib120","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00652069","article-title":"Semantic Analysis of Orthologic","volume":"3","author":"Goldblatt","year":"1974","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib121","series-title":"Mathematics of Modality","author":"Goldblatt","year":"1993"},{"issue":"3","key":"10.1016\/S1874-5857(06)80030-0_bib122","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1093\/jigpal\/6.3.451","article-title":"Substructural Logics on Display","volume":"6","author":"Gor\u00e9","year":"1998","journal-title":"Logic Journal of the IGPL"},{"key":"10.1016\/S1874-5857(06)80030-0_bib123","series-title":"General Lattice Theory","author":"Gr\u00e4tzer","year":"1978"},{"key":"10.1016\/S1874-5857(06)80030-0_bib124","series-title":"Handbook of Theoretical Computer Science","first-page":"633","article-title":"Semantic Domains","author":"Gunter","year":"1990"},{"key":"10.1016\/S1874-5857(06)80030-0_bib125","series-title":"Truth and Interpretation: Perspectives on the Philosophy of Donald Davidson","first-page":"125","article-title":"The meanings of logical constants","author":"Harman","year":"1986"},{"key":"10.1016\/S1874-5857(06)80030-0_bib126","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF01360048","article-title":"On Disjunctions and Existential Statements in Intuitionistic Systems of Logic","volume":"132","author":"Harrop","year":"1956","journal-title":"Mathematische Annalen"},{"key":"10.1016\/S1874-5857(06)80030-0_bib127_1","series-title":"Negation: Notion in Focus","first-page":"27","article-title":"Order-Duality, Negation and Lattice Representation","author":"Hartonas","year":"1996"},{"key":"10.1016\/S1874-5857(06)80030-0_bib127_2","series-title":"conference Analyomen 2","year":"1994"},{"issue":"3","key":"10.1016\/S1874-5857(06)80030-0_bib128","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1023\/A:1004982417404","article-title":"Duality for Lattice-Ordered Algebras and Normal Algebraizable Logics","volume":"58","author":"Hartonas","year":"1997","journal-title":"Studia Logica"},{"issue":"1","key":"10.1016\/S1874-5857(06)80030-0_bib129","first-page":"65","article-title":"Pretopology Semantics for Bimodal Intuitionistic Linear Logic","volume":"5","author":"Hartonas","year":"1997","journal-title":"Journal of the Interest Group in Pure and Applied Logics"},{"key":"10.1016\/S1874-5857(06)80030-0_bib130","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/s000120050024","article-title":"Stone Duality for Lattices","volume":"37","author":"Hartonas","year":"1997","journal-title":"Algebra Universalis"},{"key":"10.1016\/S1874-5857(06)80030-0_bib131","series-title":"Aspects of Russell's Logic in 1906","author":"Hazen","year":"1997"},{"key":"10.1016\/S1874-5857(06)80030-0_bib132","series-title":"Intuitionism: An Introduction","author":"Heyting","year":"1956"},{"key":"10.1016\/S1874-5857(06)80030-0_bib133","series-title":"International Symposium on Programming","first-page":"212","article-title":"The Simple Semantics for Coppo-Dezani-Sall\u00e9 Types","author":"Hindley","year":"1983"},{"key":"10.1016\/S1874-5857(06)80030-0_bib134","series-title":"Model Theory","author":"Hodges","year":"1993"},{"key":"10.1016\/S1874-5857(06)80030-0_bib135","series-title":"To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","first-page":"479","article-title":"The Formulae-as-types Notion of Construction","author":"Howard","year":"1980"},{"key":"10.1016\/S1874-5857(06)80030-0_bib136","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1016\/0021-8693(73)90001-X","article-title":"Recursively Unsolvable Word Problems of Modular Lattices and Diagram Chasing","author":"Hutchinson","year":"1973","journal-title":"Journal of Algebra"},{"key":"10.1016\/S1874-5857(06)80030-0_bib137","series-title":"Sociative Logics and their Applications: Essays by the Lute Richard Sylvan","year":"2000"},{"key":"10.1016\/S1874-5857(06)80030-0_bib138","article-title":"Undecidability of Relevant Logics","author":"Jain","year":"1997"},{"key":"10.1016\/S1874-5857(06)80030-0_bib139","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","article-title":"Boolean Algebras with Operators: Part I","volume":"73","author":"J\u00f3nsson","year":"1951","journal-title":"American Journal of Mathematics"},{"key":"10.1016\/S1874-5857(06)80030-0_bib140","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","article-title":"Boolean Algebras with Operators: Part II","volume":"75","author":"J\u00f3nsson","year":"1952","journal-title":"American Journal of Mathematics"},{"key":"10.1016\/S1874-5857(06)80030-0_bib141","doi-asserted-by":"crossref","first-page":"11","DOI":"10.2307\/2963675","article-title":"Disjunction and Existence under Implication in Elementary Intuitionistic Formalisms","volume":"27","author":"Kleene","year":"1962","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib142","doi-asserted-by":"crossref","first-page":"154","DOI":"10.2307\/2271596","article-title":"An Addendum","volume":"28","author":"Kleene","year":"1963","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib143","series-title":"Proof Theory of Modal Logic","first-page":"93","article-title":"Power and Weakness of the Modal Display Calculus","author":"Kracht","year":"1996"},{"key":"10.1016\/S1874-5857(06)80030-0_bib144","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1023\/A:1005306200547","article-title":"Dunn's Relevant Predication, Real Properties and Identity","volume":"47","author":"Kremer","year":"1997","journal-title":"Erkenntis"},{"key":"10.1016\/S1874-5857(06)80030-0_bib145","first-page":"324","article-title":"The Problem of Entailment","volume":"24","author":"Kripke","year":"1959","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib146","article-title":"Frames and Labels: A Modal Analysis of Categorial Inference","author":"Kurtonina","year":"1995"},{"key":"10.1016\/S1874-5857(06)80030-0_bib147","doi-asserted-by":"crossref","first-page":"154","DOI":"10.2307\/2310058","article-title":"The Mathematics of Sentence Structure","volume":"65","author":"Lambek","year":"1958","journal-title":"American Mathematical Monthly"},{"key":"10.1016\/S1874-5857(06)80030-0_bib148","series-title":"Structure of Language and its Mathematical Aspects","first-page":"166","article-title":"On the Calculus of Syntactic Types","author":"Lambek","year":"1961"},{"key":"10.1016\/S1874-5857(06)80030-0_bib149","series-title":"Category Theory, Homology Theory and their Applications II","first-page":"76","article-title":"Deductive Systems and Categories II","author":"Lambek","year":"1969"},{"key":"10.1016\/S1874-5857(06)80030-0_bib150","series-title":"Introduction to Higher Order Categorical Logic","author":"Lambek","year":"1986"},{"key":"10.1016\/S1874-5857(06)80030-0_bib151","series-title":"Beginning Logic","author":"Lemmon","year":"1965"},{"key":"10.1016\/S1874-5857(06)80030-0_bib152","series-title":"On the Plurality of Worlds","author":"Lewis","year":"1986"},{"key":"10.1016\/S1874-5857(06)80030-0_bib153","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1093\/aristoteliansupp\/32.1.123","article-title":"Entailment","volume":"32","author":"Lewy","year":"1958","journal-title":"Aristotelian Society supplementary volume"},{"key":"10.1016\/S1874-5857(06)80030-0_bib154","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0168-0072(92)90075-B","article-title":"Decision Problems for Propositional Linear Logic","volume":"56","author":"Lincoln","year":"1992","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib155","series-title":"Transactions of the American Mathematical Society","first-page":"171","article-title":"The Undecidability of the Word Problems for Projective Geometries and Modular Lattices","author":"Lipshitz","year":"1974"},{"key":"10.1016\/S1874-5857(06)80030-0_bib156","article-title":"Categories for the Working Mathematician","author":"MacLane","year":"1971"},{"key":"10.1016\/S1874-5857(06)80030-0_bib157","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1090\/S0002-9947-1937-1501929-X","article-title":"Partially Ordered Sets","volume":"42","author":"MacNeille","year":"1937","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/S1874-5857(06)80030-0_bib158","series-title":"11th International Conference on the Mathematical Foundations of Programming Semantics","article-title":"Call-by-name, call-by-value, call-by-need, and the linear lambda calculus","author":"Maraist","year":"1995"},{"key":"10.1016\/S1874-5857(06)80030-0_bib159","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF00413865","article-title":"Relevant Logic and the Theory of Information","volume":"109","author":"Mares","year":"1997","journal-title":"Synthese"},{"key":"10.1016\/S1874-5857(06)80030-0_bib160","doi-asserted-by":"crossref","first-page":"645","DOI":"10.1007\/BF01306969","article-title":"A Relevant Theory of Conditionals","volume":"24","author":"Mares","year":"1995","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib161","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1305\/ndjfl\/1093636096","article-title":"The Admissibility of \u03b3 in R4","volume":"33","author":"Mares","year":"1992","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib162","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF01049182","article-title":"The Semantics of R4","volume":"22","author":"Mares","year":"1993","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib163","first-page":"1427","article-title":"Noncircular Logic","volume":"49","author":"Martin","year":"1984","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib164","doi-asserted-by":"crossref","first-page":"869","DOI":"10.2307\/2273106","article-title":"Solution to the P-W problem","volume":"47","author":"Martin","year":"1982","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib165","series-title":"Arrow Logic and Multimodal Logic","year":"1996"},{"key":"10.1016\/S1874-5857(06)80030-0_bib166","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF00370441","article-title":"Relevant Analytic Tableaux","volume":"38","author":"McRobbie","year":"1979","journal-title":"Studio Logica"},{"key":"10.1016\/S1874-5857(06)80030-0_bib167","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1305\/ndjfl\/1093957574","article-title":"Notes on the Axiomatics of the Propositional Calculus","volume":"4","author":"Meredith","year":"1963","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib168","first-page":"138","article-title":"Ackermann, Takeuti and Schnitt; \u03b3 for Higher-order Relevant Logics","volume":"5","author":"Meyer","year":"1976","journal-title":"Bulletin of the Section of Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib169","first-page":"189","article-title":"A General Gentzen System for Implicational Calculi","volume":"1","author":"Meyer","year":"1976","journal-title":"Relevance Logic Newsletter"},{"key":"10.1016\/S1874-5857(06)80030-0_bib170","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1007\/BF01880331","article-title":"Implementing the \u2018Fool's Model\u2019 for Combinatory Logic","volume":"7","author":"Meyer","year":"1991","journal-title":"Journal of Automated Reasoning"},{"key":"10.1016\/S1874-5857(06)80030-0_bib171","article-title":"Topics in Modal and Many-valued Logic","author":"Meyer","year":"1966"},{"key":"10.1016\/S1874-5857(06)80030-0_bib172","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1002\/malq.19680141305","article-title":"An undecidability result in the theory of relevant implication","volume":"14","author":"Meyer","year":"1968","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(06)80030-0_bib173","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1305\/ndjfl\/1093893935","article-title":"E and S4","volume":"11","author":"Meyer","year":"1970","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib174","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1002\/malq.19700160703","article-title":"R1 the Bounds of Finitude","volume":"16","author":"Meyer","year":"1970","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(06)80030-0_bib175","first-page":"658","article-title":"On Coherence in Modal Logics","volume":"14","author":"Meyer","year":"1971","journal-title":"Logique et Analyse"},{"key":"10.1016\/S1874-5857(06)80030-0_bib176","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1305\/ndjfl\/1093890896","article-title":"Conserving Positive Logics","volume":"14","author":"Meyer","year":"1973","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib177","series-title":"Truth, Syntax and Modality","first-page":"168","article-title":"Intuitionism, Entailment, Negation","author":"Meyer","year":"1973"},{"key":"10.1016\/S1874-5857(06)80030-0_bib178","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1305\/ndjfl\/1093887722","article-title":"Metacompleteness","volume":"17","author":"Meyer","year":"1976","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib179","article-title":"Why I am not a Relevantist","author":"Meyer","year":"1978"},{"key":"10.1016\/S1874-5857(06)80030-0_bib180","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1023\/A:1017990121294","article-title":"\u2283E is Admissible in \u2018True\u2019 Relevant Arithmetic","volume":"27","author":"Meyer","year":"1998","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib181","doi-asserted-by":"crossref","first-page":"460","DOI":"10.2307\/2270909","volume":"34","author":"Meyer","year":"1969","journal-title":"E, R and \u03b3. Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib182","series-title":"Substructural Logics","article-title":"Semantics of Entailment","author":"Meyer","year":"1993"},{"key":"10.1016\/S1874-5857(06)80030-0_bib183","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF00248574","article-title":"Logic on the Australian Plan","volume":"15","author":"Meyer","year":"1986","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib184","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1002\/malq.19720181903","article-title":"Independent Axioms of Soboci\u0144ski's three-valued logic","volume":"18","author":"Meyer","year":"1972","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(06)80030-0_bib185","series-title":"Automated Reasoning Project","article-title":"\u2018Strenge\u2019 Arithmetic","author":"Meyer","year":"1996"},{"key":"10.1016\/S1874-5857(06)80030-0_bib186","first-page":"407","article-title":"Algebraic Analysis of Entailment","volume":"15","author":"Meyer","year":"1972","journal-title":"Logique et Analyse"},{"key":"10.1016\/S1874-5857(06)80030-0_bib187","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/BF02123812","article-title":"Classical Relevant Logics I","volume":"32","author":"Meyer","year":"1973","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80030-0_bib188","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF02120493","article-title":"Classical Relevant Logics II","volume":"33","author":"Meyer","year":"1973","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80030-0_bib189","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1002\/malq.19730192601","article-title":"An Undecidable Relevant Logic","volume":"19","author":"Meyer","year":"1973","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(06)80030-0_bib190","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1093\/analys\/39.3.124","article-title":"Curry's Paradox","volume":"39","author":"Meyer","year":"1979","journal-title":"Analysis"},{"key":"10.1016\/S1874-5857(06)80030-0_bib191","series-title":"Paraconsistent Logic: Essays on the Inconsistent","first-page":"245","article-title":"Abelian Logic from A to Z","author":"Meyer","year":"1989"},{"key":"10.1016\/S1874-5857(06)80030-0_bib192","series-title":"Proceedings of the Fourth Workshop on Theorem Proving with Analytic Tableaux and Related Methods","first-page":"278","article-title":"Linear Analytic Tableaux","author":"Meyer","year":"1995"},{"key":"10.1016\/S1874-5857(06)80030-0_bib193","series-title":"Issl\u00e9dovani\u00e1 po konstructivnoj mathematik\u00e9 i matemati\u010deskoj logike V","first-page":"90","article-title":"Cut-Elimination Theorem in Relevant Logics","author":"Minc","year":"1972"},{"key":"10.1016\/S1874-5857(06)80030-0_bib194","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1007\/BF01084083","article-title":"Cut-Elimination Theorem in Relevant Logics","volume":"6","author":"Minc","year":"1976","journal-title":"The Journal of Soviet Mathematics"},{"key":"10.1016\/S1874-5857(06)80030-0_bib195","first-page":"83","article-title":"Closed Categories and the Theory of Proofs","volume":"68","author":"Minc","year":"1977"},{"key":"10.1016\/S1874-5857(06)80030-0_bib196","series-title":"Foundations for Programming Languages","author":"Mitchell","year":"1996"},{"issue":"6","key":"10.1016\/S1874-5857(06)80030-0_bib197","doi-asserted-by":"crossref","first-page":"795","DOI":"10.1093\/jigpal\/5.6.795","article-title":"The Carcinogenic Example","volume":"5","author":"Mitchell","year":"1997","journal-title":"Logic Journal of the IGPL"},{"key":"10.1016\/S1874-5857(06)80030-0_bib198","first-page":"56","article-title":"The Deduction Theorems and Two New Logical Systems","volume":"2","author":"Moh","year":"1950","journal-title":"Methodos"},{"key":"10.1016\/S1874-5857(06)80030-0_bib199","series-title":"Categorial Investigations: Logical Aspects of the Lambek Calculus","author":"Moortgat","year":"1988"},{"key":"10.1016\/S1874-5857(06)80030-0_bib200_1","first-page":"331","article-title":"On the Syllogism: IV, and on the Logic of Relations","volume":"10","author":"de Morgan","year":"1864","journal-title":"Transactions of the Cambridge Philosophical Society"},{"key":"10.1016\/S1874-5857(06)80030-0_bib200_2","unstructured":"Read before the Cambridge Philosophical Society on April 23, 1860."},{"key":"10.1016\/S1874-5857(06)80030-0_bib201","series-title":"Type Logical Grammar: Categorial Logic of Signs","author":"Morrill","year":"1994"},{"issue":"supplement number 12","key":"10.1016\/S1874-5857(06)80030-0_bib202","first-page":"99","article-title":"it","author":"Mulvey","year":"1986","journal-title":"Rendiconti del Circolo Matematico di Palermo"},{"key":"10.1016\/S1874-5857(06)80030-0_bib203","doi-asserted-by":"crossref","first-page":"215","DOI":"10.2307\/421090","article-title":"The Logic of Bunched Implications","volume":"5","author":"O'Hearn","year":"1999","journal-title":"Bulletin of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib204","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2273798","article-title":"Logic without the Contraction Rule","volume":"50","author":"Ono","year":"1985","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib205","series-title":"Substructural Logics","first-page":"259","article-title":"Semantics for Substructural Logics","author":"Ono","year":"1993"},{"key":"10.1016\/S1874-5857(06)80030-0_bib206","first-page":"263","article-title":"The Calculus of Compatibility of Propositions (in Russian)","volume":"35","author":"Orlov","year":"1928","journal-title":"Matematicheski Sbornik"},{"key":"10.1016\/S1874-5857(06)80030-0_bib207","first-page":"2","article-title":"Relational Interpretation of Modal Logics","volume":"17","author":"Ortowska","year":"1988","journal-title":"Bulletin of the Section of Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib208","doi-asserted-by":"crossref","first-page":"317","DOI":"10.2307\/25058006","article-title":"Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic","volume":"9","author":"Peirce","year":"1870","journal-title":"Memoirs of the American Academy of Science"},{"issue":"1-2","key":"10.1016\/S1874-5857(06)80030-0_bib209","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0168-0072(94)00063-9","article-title":"Models for the Lambek Calculus","volume":"75","author":"Pentus","year":"1995","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib210","series-title":"Logic Colloquium '96: proceedings of the colloquium held in San Sebastia,n Spain, July 9-15, 1996","first-page":"171","article-title":"Free monoid completeness of the Lambek calculus allowing empty premises","author":"Pentus","year":"1998"},{"key":"10.1016\/S1874-5857(06)80030-0_bib211","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF00370440","article-title":"On analysing relevance constructively","volume":"38","author":"Pottinger","year":"1979","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80030-0_bib212","series-title":"Algebraic Logic and Universal Algebra in Computer Science","article-title":"Dynamic Algebras as a Well-Behaved Fragment of Relation Algebras","author":"Pratt","year":"1990"},{"key":"10.1016\/S1874-5857(06)80030-0_bib213","series-title":"Natural Deduction: A Proof Theoretical Study","author":"Prawitz","year":"1965"},{"key":"10.1016\/S1874-5857(06)80030-0_bib214","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/BF00262864","article-title":"Sense, Entailment and Modus Ponens","volume":"9","author":"Priest","year":"1980","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib215","series-title":"In Contradiction: A Study of the Transconsistent","author":"Priest","year":"1987"},{"key":"10.1016\/S1874-5857(06)80030-0_bib216","series-title":"Logic: One or Many?","author":"Priest","year":"1999"},{"key":"10.1016\/S1874-5857(06)80030-0_bib217","series-title":"Frontiers of Paraconsistency","first-page":"223","article-title":"Motivations for Paraconsistency: The Slippery Slope from Classical Logic to Di-aletheism.","author":"Priest","year":"2000"},{"key":"10.1016\/S1874-5857(06)80030-0_bib218","series-title":"Paraconsistent Logic: Essays on the Inconsistent","first-page":"613","article-title":"Reductio Ad Absurdum et Modus Tollendo Ponens","author":"Priest","year":"1989"},{"key":"10.1016\/S1874-5857(06)80030-0_bib219","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BF00248640","article-title":"Simplified Semantics for Basic Relevant Logics","volume":"21","author":"Priest","year":"1992","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib220","series-title":"Paraconsistent Logic: Essays on the Inconsistent","year":"1989"},{"key":"10.1016\/S1874-5857(06)80030-0_bib221","series-title":"An Algebraic Approach to Non-classical Logics","author":"Rasiowa","year":"1974"},{"key":"10.1016\/S1874-5857(06)80030-0_bib222","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1093\/analys\/41.2.66","article-title":"What is Wrong with Disjunctive Syllogism?","volume":"41","author":"Read","year":"1981","journal-title":"Analysis"},{"key":"10.1016\/S1874-5857(06)80030-0_bib223","series-title":"Relevant Logic","author":"Read","year":"1988"},{"key":"10.1016\/S1874-5857(06)80030-0_bib224","series-title":"Thinking about Logic","author":"Read","year":"1995"},{"key":"10.1016\/S1874-5857(06)80030-0_bib225","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1305\/ndjfl\/1093634406","article-title":"A Note on Na\u00efve Set Theory in LP","volume":"33","author":"Restall","year":"1992","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib226","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1007\/BF01349561","article-title":"Simplified Semantics for Relevant Logics (and some of their rivals)","volume":"22","author":"Restall","year":"1993","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"10.1016\/S1874-5857(06)80030-0_bib227","first-page":"135","article-title":"A Useful Substructural Logic","volume":"2","author":"Restall","year":"1994","journal-title":"Bulletin of the Interest Group in Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib228","first-page":"133","article-title":"Display Logic and Gaggle Theory","volume":"29","author":"Restall","year":"1995","journal-title":"Reports in Mathematical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib229","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF01048529","article-title":"Four Valued Semantics for Relevant Logics (and some of their rivals)","volume":"24","author":"Restall","year":"1995","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib230","series-title":"Logic, Language and Computation: The 1994 Moraga Proceedings","first-page":"463","article-title":"Information Flow and Relevant Logics","author":"Restall","year":"1995"},{"key":"10.1016\/S1874-5857(06)80030-0_bib231","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1023\/A:1017998605966","article-title":"Displaying and Deciding Substructural Logics 1: Logics with contraposition","volume":"27","author":"Restall","year":"1998","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib232","series-title":"What is Negation?","first-page":"53","article-title":"Negation in Relevant Logics: How I Stopped Worrying and Learned to Love the Routley Star","author":"Restall","year":"1999"},{"key":"10.1016\/S1874-5857(06)80030-0_bib233","series-title":"An Introduction to Substructural Logics","author":"Restall","year":"2000"},{"issue":"6","key":"10.1016\/S1874-5857(06)80030-0_bib234","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1093\/jigpal\/8.6.853","article-title":"Defining Double Negation Elimination","volume":"8","author":"Restall","year":"2000","journal-title":"Logic Journal of the 1GPL"},{"key":"10.1016\/S1874-5857(06)80030-0_bib235","series-title":"The Law of Non-Contradiction","article-title":"Laws of Non-Contradiction, Laws of the Excluded Middle and Logics","author":"Restall","year":"2000"},{"key":"10.1016\/S1874-5857(06)80030-0_bib236","article-title":"Resource Logics: Proof-theoretical Investigations","author":"Roorda","year":"1991"},{"key":"10.1016\/S1874-5857(06)80030-0_bib237","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1080\/00455091.1984.10716376","article-title":"Relevantism, Material Detachment, and the Disjunctive Syllogism Argument","volume":"14","author":"Routley","year":"1984","journal-title":"Canadian Journal of Philosophy"},{"key":"10.1016\/S1874-5857(06)80030-0_bib238","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF00649991","article-title":"Semantics of Entailment II","volume":"1","author":"Routley","year":"1972","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib239","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/BF00650498","article-title":"Semantics of Entailment III","volume":"1","author":"Routley","year":"1972","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib240","series-title":"Truth Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics","first-page":"194","article-title":"Semantics of Entailment","author":"Routley","year":"1973"},{"key":"10.1016\/S1874-5857(06)80030-0_bib241","series-title":"Relevant Logics and their Rivals","author":"Routley","year":"1982"},{"key":"10.1016\/S1874-5857(06)80030-0_bib242","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2369962","article-title":"The Theory of Implication","volume":"28","author":"Russell","year":"1906","journal-title":"American Journal of Mathematics"},{"key":"10.1016\/S1874-5857(06)80030-0_bib243","series-title":"Logic Colloquium '88","first-page":"261","article-title":"Intuitionistic Formal Spaces and their Neighbourhood","author":"Sambin","year":"1989"},{"key":"10.1016\/S1874-5857(06)80030-0_bib244","series-title":"Substructural Logics","first-page":"293","article-title":"The Semantics of Pretopologies","author":"Sambin","year":"1993"},{"issue":"3","key":"10.1016\/S1874-5857(06)80030-0_bib245","doi-asserted-by":"crossref","first-page":"861","DOI":"10.2307\/2275761","article-title":"Pretopologies and Completeness Proofs","volume":"60","author":"Sambin","year":"1995","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib246","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0168-0072(88)90021-8","article-title":"Topology and duality in modal logic","volume":"37","author":"Sambin","year":"1988","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"10.1016\/S1874-5857(06)80030-0_bib247","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/j.tcs.2003.11.014","article-title":"Poset-valued sets or how to build models for linear logics","volume":"315","author":"Schalk","year":"2004","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80030-0_bib248","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/BF02390456","article-title":"On the Linear Decoration of Intuitionistic Derivations","volume":"33","author":"Schellinx","year":"1995","journal-title":"Archive of Mathematical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib249","series-title":"Vorlesungen \u00fcber die Algebra der Logik (exacte Logik), Volume 3, Algebra und Logik der Relative, Part I","author":"Schr\u00f6der","year":"1895"},{"key":"10.1016\/S1874-5857(06)80030-0_bib250","article-title":"Substructural Logics","year":"1993"},{"key":"10.1016\/S1874-5857(06)80030-0_bib251","series-title":"Logic, Methodology and Philosophy of Science IV","first-page":"157","article-title":"Models for Various Type-Free Calculi","author":"Scott","year":"1973"},{"key":"10.1016\/S1874-5857(06)80030-0_bib252","series-title":"The Kleene Symposium","first-page":"223","article-title":"Lambda Calculus: Some Models, Some Philosophy","author":"Scott","year":"1980"},{"key":"10.1016\/S1874-5857(06)80030-0_bib253","series-title":"Paraconsistent Logic: Essays on the Inconsistent","first-page":"472","article-title":"RWX is not Curry-paraconsistent","author":"Slaney","year":"1989"},{"key":"10.1016\/S1874-5857(06)80030-0_bib254","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1305\/ndjfl\/1093637560","article-title":"Reduced Models for Relevant Logics without WI","volume":"28","author":"Slaney","year":"1987","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib255","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1080\/00048409012340183","article-title":"A General Logic","volume":"68","author":"Slaney","year":"1990","journal-title":"Australasian Journal of Philosophy"},{"key":"10.1016\/S1874-5857(06)80030-0_bib256","first-page":"233","article-title":"Entailment and Deducibility","volume":"59","author":"Smiley","year":"1959"},{"key":"10.1016\/S1874-5857(06)80030-0_bib257","series-title":"Inquiry","author":"Stalnaker","year":"1984"},{"key":"10.1016\/S1874-5857(06)80030-0_bib258","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","article-title":"On The Calculus of Relations","volume":"6","author":"Tarski","year":"1941","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib259","series-title":"Logic, Semantics, Metamathematics: Papers from 1923 to 1938","author":"Tarski","year":"1956"},{"key":"10.1016\/S1874-5857(06)80030-0_bib260","series-title":"Autologic","author":"Tennant","year":"1992"},{"key":"10.1016\/S1874-5857(06)80030-0_bib261","series-title":"What is a Logical System?","first-page":"161","article-title":"The Transmission of Truth and the Transitivity of Deduction","author":"Tennant","year":"1994"},{"key":"10.1016\/S1874-5857(06)80030-0_bib262","series-title":"Automated Theorem Proving in Non-Classical Logics","author":"Thistlewaite","year":"1988"},{"key":"10.1016\/S1874-5857(06)80030-0_bib263","series-title":"Lectures on Linear Logic","author":"Troelstra","year":"1992"},{"key":"10.1016\/S1874-5857(06)80030-0_bib264","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1111\/j.1755-2567.1971.tb00072.x","article-title":"The Completeness of Weak Implication","volume":"37","author":"Urquhart","year":"1972","journal-title":"Theoria"},{"key":"10.1016\/S1874-5857(06)80030-0_bib265","first-page":"443","article-title":"A General Theory of Implication","volume":"37","author":"Urquhart","year":"1972","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib266","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2272559","article-title":"Semantics for Relevant Logics","volume":"37","author":"Urquhart","year":"1972","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib267","article-title":"The Semantics of Entailment","author":"Urquhart","year":"1972"},{"key":"10.1016\/S1874-5857(06)80030-0_bib268","first-page":"345","article-title":"Relevant Implication and Projective Geometry","volume":"26","author":"Urquhart","year":"1983","journal-title":"Logique et Analyse"},{"key":"10.1016\/S1874-5857(06)80030-0_bib269","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.2307\/2274261","article-title":"The Undecidability of Entailment and Relevant Implication","volume":"49","author":"Urquhart","year":"1984","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib270","first-page":"71","article-title":"Many-Valued Logics","volume":"Volume 3","author":"Urquhart","year":"1986"},{"key":"10.1016\/S1874-5857(06)80030-0_bib271","series-title":"Truth or Consequences","first-page":"77","article-title":"The Complexity of Decision Procedures in Relevance Logic","author":"Urquhart","year":"1990"},{"key":"10.1016\/S1874-5857(06)80030-0_bib272","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/BF01349560","article-title":"Failure of Interpolation in Relevant Logics","volume":"22","author":"Urquhart","year":"1993","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80030-0_bib273","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/BF00370149","article-title":"Duality for Algebras of Relevant Logics","volume":"56","author":"Urquhart","year":"1996","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80030-0_bib274","series-title":"The Complexity of Decision Procedures in Relevance Logic II","author":"Urquhart","year":"1997"},{"key":"10.1016\/S1874-5857(06)80030-0_bib275","first-page":"1","article-title":"Intersection Types as Logical Formulae","volume":"3","author":"Venneri","year":"1994","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1874-5857(06)80030-0_bib276","article-title":"Topology via Logic","author":"Vickers","year":"1990"},{"key":"10.1016\/S1874-5857(06)80030-0_bib277","series-title":"Logical Studies","author":"Wright","year":"1957"},{"key":"10.1016\/S1874-5857(06)80030-0_bib278","series-title":"Programming Concepts and Methods","article-title":"Linear Types can Change the World","author":"Wadler","year":"1990"},{"key":"10.1016\/S1874-5857(06)80030-0_bib279","series-title":"ACM Conference on Partial Evaluation and Semantics-Based Program Manipulation","first-page":"255","article-title":"Is there a Use for Linear Logic?","author":"Wadler","year":"1991"},{"key":"10.1016\/S1874-5857(06)80030-0_bib280","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1017\/S0960129500001560","article-title":"Comprehending monads","volume":"2","author":"Wadler","year":"1992","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1874-5857(06)80030-0_bib281","series-title":"Workshop on Mathematical Foundations of Programming Semantics","article-title":"There's No Substitute for Linear Logic","author":"Wadler","year":"1992"},{"key":"10.1016\/S1874-5857(06)80030-0_bib282","series-title":"9th International Conference on the Mathematical Foundations of Programming Semantics","first-page":"513","article-title":"A Syntax for Linear Logic","author":"Wadler","year":"1993"},{"key":"10.1016\/S1874-5857(06)80030-0_bib283","series-title":"Mathematical Foundations of Computer Science","first-page":"185","article-title":"A Taste of Linear Logic","volume":"Volume 711","author":"Wadler","year":"1993"},{"key":"10.1016\/S1874-5857(06)80030-0_bib284","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-56734-8","article-title":"The Logic of Information Structures","author":"Wansing","year":"1993"},{"key":"10.1016\/S1874-5857(06)80030-0_bib285","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1093\/logcom\/4.2.125","article-title":"Sequent Calculi for Normal Propositional Modal Logics","volume":"4","author":"Wansing","year":"1994","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1874-5857(06)80030-0_bib286","series-title":"Displaying Modal Logic","author":"Wansing","year":"1998"},{"key":"10.1016\/S1874-5857(06)80030-0_bib287","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1007\/BF00258447","article-title":"The Consistency of the Axiom of Comprehension in the Infinite Valued Predicate Logic of \u0141ukasiewicz","volume":"8","author":"White","year":"1979","journal-title":"Journal of Philosophical Logic"}],"container-title":["Handbook of the History of Logic","Logic and the Modalities in the Twentieth Century"],"original-title":[],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T20:47:20Z","timestamp":1708202840000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1874585706800300"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9780444516220"],"references-count":292,"URL":"https:\/\/doi.org\/10.1016\/s1874-5857(06)80030-0","relation":{},"ISSN":["1874-5857"],"issn-type":[{"value":"1874-5857","type":"print"}],"subject":[],"published":{"date-parts":[[2006]]}}}