{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T20:49:46Z","timestamp":1768250986194,"version":"3.49.0"},"reference-count":92,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2015,3,8]],"date-time":"2015-03-08T00:00:00Z","timestamp":1425772800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s10992-015-9346-x","type":"journal-article","created":{"date-parts":[[2015,3,7]],"date-time":"2015-03-07T03:05:35Z","timestamp":1425697535000},"page":"609-624","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Current Trends in Substructural Logics"],"prefix":"10.1007","volume":"44","author":[{"given":"Katalin","family":"Bimb\u00f3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,3,8]]},"reference":[{"key":"9346_CR1","doi-asserted-by":"crossref","first-page":"514","DOI":"10.2307\/2275217","volume":"58","author":"G Allwein","year":"1993","unstructured":"Allwein, G., & Dunn, J.M. (1993). Kripke models for linear logic. Journal of Symbolic Logic, 58, 514\u2013545.","journal-title":"Journal of Symbolic Logic"},{"key":"9346_CR2","volume-title":"Entailment: The logic of relevance and necessity, Vol. I","author":"AR Anderson","year":"1975","unstructured":"Anderson, A.R., & Belnap, N.D. (1975). Entailment: The logic of relevance and necessity, Vol. I. Princeton: Princeton University Press."},{"key":"9346_CR3","volume-title":"Entailment: The logic of relevance and necessity, Vol. II","author":"AR Anderson","year":"1992","unstructured":"Anderson, A.R., Belnap, N.D., & Dunn, J.M. (1992). Entailment: The logic of relevance and necessity, Vol. II. Princeton: Princeton University Press."},{"key":"9346_CR4","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0304-3975(88)90037-0","volume":"57","author":"A Avron","year":"1988","unstructured":"Avron, A (1988). The semantics and proof theory of linear logic. Theoretical Computer Science, 57, 161\u2013184.","journal-title":"Theoretical Computer Science"},{"key":"9346_CR5","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"ND Belnap","year":"1982","unstructured":"Belnap, N.D. (1982). Display logic. Journal of Philosophical Logic, 11, 375\u2013417.","journal-title":"Journal of Philosophical Logic"},{"key":"9346_CR6","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1305\/ndjfl\/1093635329","volume":"31","author":"ND Belnap","year":"1990","unstructured":"Belnap, N.D. (1990). Linear logic displayed. Notre Dame Journal of Formal Logic, 31, 14\u201325.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9346_CR7","unstructured":"Belnap, N.D., & Wallace, J.R. (1961). A decision procedure for the system E I \u00af $E_{\\overline {I}}$ of entailment with negation. Technical Report 11, Contract No. SAR\/609 (16), Office of Naval Research, New Haven."},{"key":"9346_CR8","unstructured":"Bimb\u00f3, K. The decidability of the intensional fragment of classical linear logic. (19 pages, submitted for publication)."},{"key":"9346_CR9","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1093\/jigpal\/9.4.525","volume":"9","author":"K Bimb\u00f3","year":"2001","unstructured":"Bimb\u00f3, K. (2001). Semantics for structurally free logics L C+. Logic Journal of the IGPL, 9, 525\u2013539.","journal-title":"Logic Journal of the IGPL"},{"key":"9346_CR10","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/s11225-005-4651-y","volume":"81","author":"K Bimb\u00f3","year":"2005","unstructured":"Bimb\u00f3, K (2005). Admissibility of cut in L C with fixed point combinator. Studia Logica, 81, 399\u2013423.","journal-title":"Studia Logica"},{"key":"9346_CR11","unstructured":"Bimb\u00f3, K. (2007). Relevance logics. In D. Jacquette (Ed.), Philosophy of logic, Handbook of the philosophy of science (D. Gabbay, P. Thagard and J. Woods, eds.) (Vol. 5, pp. 723\u2013789). North-Holland: Elsevier."},{"key":"9346_CR12","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1215\/00294527-2008-025","volume":"50","author":"K Bimb\u00f3","year":"2009","unstructured":"Bimb\u00f3, K. (2009). Dual gaggle semantics for entailment. Notre Dame Journal of Formal Logic, 50, 23\u201341.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9346_CR13","unstructured":"Bimb\u00f3, K. (2012). Combinatory logic: Pure, applied and typed.. Discrete mathematics and its applications. Boca Raton: CRC Press."},{"key":"9346_CR14","doi-asserted-by":"crossref","unstructured":"Bimb\u00f3, K. (2014). Proof theory: Sequent calculi and related formalisms.. Discrete mathematics and its applications. Boca Raton: CRC Press.","DOI":"10.1201\/b17294"},{"key":"9346_CR15","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1305\/ndjfl\/1063372199","volume":"42","author":"K Bimb\u00f3","year":"2002","unstructured":"Bimb\u00f3, K., & Dunn, J.M. (2002). Four-valued logic. Notre Dame Journal of Formal Logic, 42, 171\u2013192.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9346_CR16","volume-title":"Generalized Galois logics: Relational semantics of nonclassical logical calculi, CSLI lecture notes (Vol. 188)","author":"K Bimb\u00f3","year":"2008","unstructured":"Bimb\u00f3, K., & Dunn, J.M. (2008). Generalized Galois logics: Relational semantics of nonclassical logical calculi, CSLI lecture notes (Vol. 188). Stanford: CSLI Publications."},{"key":"9346_CR17","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/s11787-009-0004-3","volume":"3","author":"K Bimb\u00f3","year":"2009","unstructured":"Bimb\u00f3, K., & Dunn, J.M. (2009). Symmetric generalized Galois logics. Logica Universalis, 3, 125\u2013152.","journal-title":"Logica Universalis"},{"key":"9346_CR18","unstructured":"Bimb\u00f3, K., & Dunn, J.M. (2010). Calculi for symmetric generalized Galois logics. In J. van Benthem & M. Moortgat (Eds.), Festschrift for Joachim Lambek, Linguistic Analysis (Vol. 36, pp. 307\u2013343). Vashon: Linguistic Analysis."},{"key":"9346_CR19","doi-asserted-by":"crossref","unstructured":"Bimb\u00f3, K., & Dunn, J.M. (2012). New consecution calculi for R \u2192 t $R_{\\rightarrow }^{\\,t}$ . Notre Dame Journal of Formal Logic, 53, 491\u2013509.","DOI":"10.1215\/00294527-1722719"},{"key":"9346_CR20","doi-asserted-by":"crossref","first-page":"214","DOI":"10.2178\/jsl.7801150","volume":"78","author":"K Bimb\u00f3","year":"2013","unstructured":"Bimb\u00f3, K., & Dunn, J.M. (2013). On the decidability of implicational ticket entailment. Journal of Symbolic Logic, 78, 214\u2013236.","journal-title":"Journal of Symbolic Logic"},{"key":"9346_CR21","doi-asserted-by":"crossref","unstructured":"Bimb\u00f3, K., & Dunn, J.M. (2014). Extracting BB \u2032 $^{\\prime }$ IW inhabitants of simple types from proofs in the sequent calculus L T \u2192 t $LT_{\\rightarrow }^{\\, t}$ for implicational ticket entailment. Logica Universalis, 8, 141\u2013164.","DOI":"10.1007\/s11787-014-0099-z"},{"key":"9346_CR22","unstructured":"Bimb\u00f3, K., & Dunn, J.M. Modalities in lattice-R. (32 pages, ms.)"},{"key":"9346_CR23","volume-title":"Lattice theory, AMS colloquium publications","author":"G Birkhoff","year":"1967","unstructured":"Birkhoff, G. (1967). Lattice theory, AMS colloquium publications, 3rd edn. (Vol. 25). Providence: American Mathematical Society.","edition":"3rd edn. (Vol."},{"key":"9346_CR24","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/s11225-005-0106-8","volume":"78","author":"WJ Blok","year":"2004","unstructured":"Blok, W.J., & Raftery, J.G. (2004). Fragments of R-mingle. Studia Logica, 78, 59\u2013106.","journal-title":"Studia Logica"},{"key":"9346_CR25","unstructured":"Brady, R.T. (Ed.) (2003). Relevant logics and their rivals. A continuation of the work of R. Sylvan, R. Meyer, V. Plumwood and R. Brady (Vol. II). Burlington: Ashgate."},{"key":"9346_CR26","unstructured":"Church, A. (1951). The weak theory of implication In A. Menne, A. Wilhelmy & H. Angsil (Eds.), , Kontrolliertes Denken, Untersuchungen zum Logikkalk\u00fcl und zur Logik der Einzelwissenschaften (pp. 22\u201337). Karl Alber: Komissions-Verlag."},{"key":"9346_CR27","doi-asserted-by":"crossref","unstructured":"Cook, S.A. (1971). The complexity of theorem-proving procedures. In: Proceedings of the Third Annual ACM Symposium on the Theory of Computing (pp. 151\u2013158).","DOI":"10.1145\/800157.805047"},{"key":"9346_CR28","volume-title":"Foundations of mathematical logic","author":"HB Curry","year":"1963","unstructured":"Curry, H.B. (1963). Foundations of mathematical logic. New York: McGraw-Hill Book Company. (Dover, New York, NY, 1977)."},{"key":"9346_CR29","volume-title":"Substructural logics","author":"K Do\u0161en","year":"1993","unstructured":"Do\u0161en, K., & Schroeder-Heister, P. (1993). Substructural logics. Oxford: Clarendon."},{"key":"9346_CR30","first-page":"356","volume":"38","author":"JM Dunn","year":"1973","unstructured":"Dunn, J.M. (1973). A \u2018Gentzen system\u2019 for positive relevant implication, (abstract). Journal of Symbolic Logic, 38, 356\u2013357.","journal-title":"Journal of Symbolic Logic"},{"key":"9346_CR31","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BF02120878","volume":"35","author":"JM Dunn","year":"1976","unstructured":"Dunn, J.M. (1976). A Kripke-style semantics for R-mingle using a binary accessibility relation. Studia Logica, 35, 163\u2013172.","journal-title":"Studia Logica"},{"key":"9346_CR32","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF02282493","volume":"35","author":"JM Dunn","year":"1976","unstructured":"Dunn, J.M. (1976). Quantification and RM. Studia Logica, 35, 315\u2013322.","journal-title":"Studia Logica"},{"key":"9346_CR33","doi-asserted-by":"crossref","unstructured":"Dunn, J.M. (1986). Relevance logic and entailment In D. Gabbay & F. Guenthner (Eds.), , Handbook of philosophical logic, 1st edn. (Vol. 3, pp. 117\u2013224).. Dordrecht: D. Reidel.","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"9346_CR34","unstructured":"Dunn, J.M. (1991). Gaggle theory: An abstraction of Galois connections and residuation with applications to negation, implication, and various logical operators In J. van Eijck (Ed.), , Logics in AI: European workshop JELIA \u201990, number 478 in lecture notes in computer science (pp. 31\u201351). Berlin: Springer."},{"key":"9346_CR35","unstructured":"Dunn, J.M. (1993). Partial-gaggles applied to logics with restricted structural rules In K. Do\u0161en & P. Schroeder-Heister (Eds.), , Substructural logics (pp. 63\u2013108). Oxford: Clarendon."},{"key":"9346_CR36","doi-asserted-by":"crossref","unstructured":"Dunn, J.M. (1995). Gaggle theory applied to intuitionistic, modal and relevance logic In I. Max & W. Stelzner (Eds.), , Logik und Mathematik. Frege-Kolloquium Jena (pp. 335\u2013368). Berlin: W. de Gruyter.","DOI":"10.1515\/9783110887792.335"},{"key":"9346_CR37","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198531920.001.0001","volume-title":"Algebraic methods in philosophical logic, Oxford logic guides (Vol. 41)","author":"JM Dunn","year":"2001","unstructured":"Dunn, J.M., & Hardegree, G.M. (2001). Algebraic methods in philosophical logic, Oxford logic guides (Vol. 41). Oxford: Oxford University Press."},{"key":"9346_CR38","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1093\/jigpal\/5.4.505","volume":"5","author":"JM Dunn","year":"1997","unstructured":"Dunn, J.M., & Meyer, R.K. (1997). Combinators and structurally free logic. Logic Journal of the IGPL, 5, 505\u2013537.","journal-title":"Logic Journal of the IGPL"},{"key":"9346_CR39","doi-asserted-by":"crossref","unstructured":"Dunn, J.M., & Restall, G. (2002). Relevance logic In D. Gabbay & F. Guenthner (Eds.), , Handbook of philosophical logic, 2nd edn. (Vol. 6, pp. 1\u2013128).. Amsterdam: Kluwer.","DOI":"10.1007\/978-94-017-0460-1_1"},{"key":"9346_CR40","first-page":"288","volume":"1","author":"G Gentzen","year":"1964","unstructured":"Gentzen, G. (1964). Investigations into logical deduction. American Philosophical Quarterly, 1, 288\u2013306.","journal-title":"American Philosophical Quarterly"},{"key":"9346_CR41","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/BF00249365","volume":"14","author":"S Giambrone","year":"1985","unstructured":"Giambrone, S. (1985). T W + and R W + are decidable. Journal of Philosophical Logic, 14, 235\u2013254.","journal-title":"Journal of Philosophical Logic"},{"key":"9346_CR42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y. (1987). Linear logic. Theoretical Computer Science, 50, 1\u2013102.","journal-title":"Theoretical Computer Science"},{"key":"9346_CR43","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1017\/S1755020309090194","volume":"2","author":"R Goldblatt","year":"2009","unstructured":"Goldblatt, R. (2009). Conservativity of Heyting implication over relevant quantification. Review of Symbolic Logic, 2, 310\u2013341.","journal-title":"Review of Symbolic Logic"},{"key":"9346_CR44","doi-asserted-by":"crossref","first-page":"163","DOI":"10.2178\/jsl\/1140641167","volume":"71","author":"R Goldblatt","year":"2006","unstructured":"Goldblatt, R., & Mares, E.D. (2006). An alternative semantics for quantified relevant logic. Journal of Symbolic Logic, 71, 163\u2013187.","journal-title":"Journal of Symbolic Logic"},{"key":"9346_CR45","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1093\/jigpal\/6.3.451","volume":"6","author":"R Gor\u00e9","year":"1998","unstructured":"Gor\u00e9, R. (1998). Substructural logics on display. Logic Journal of the IGPL, 6, 451\u2013504.","journal-title":"Logic Journal of the IGPL"},{"key":"9346_CR46","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/s000120050024","volume":"37","author":"C Hartonas","year":"1997","unstructured":"Hartonas, C., & Dunn, J.M. (1997). Stone duality for lattices. Algebra Universalis, 37, 391\u2013401.","journal-title":"Algebra Universalis"},{"key":"9346_CR47","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2267044","volume":"14","author":"L Henkin","year":"1949","unstructured":"Henkin, L. (1949). The completeness of the first-order functional calculus. Journal of Symbolic Logic, 14, 159\u2013166.","journal-title":"Journal of Symbolic Logic"},{"key":"9346_CR48","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B., & Tarski, A. (1951). Boolean algebras with operators, I. American Journal of Mathematics, 73, 891\u2013939.","journal-title":"American Journal of Mathematics"},{"key":"9346_CR49","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B J\u00f3nsson","year":"1952","unstructured":"J\u00f3nsson, B., & Tarski, A. (1952). Boolean algebras with operators, II. American Journal of Mathematics, 74, 127\u2013162.","journal-title":"American Journal of Mathematics"},{"key":"9346_CR50","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1023\/A:1019915908844","volume":"11","author":"N Kamide","year":"2002","unstructured":"Kamide, N. (2002). Kripke semantics for modal substructural logics. Journal of Logic, Language and Computation, 11, 453\u2013470.","journal-title":"Journal of Logic, Language and Computation"},{"key":"9346_CR51","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1023\/B:LOGI.0000003928.44012.57","volume":"32","author":"N Kamide","year":"2003","unstructured":"Kamide, N. (2003). Normal modal substructural logics with strong negation. Journal of Philosophical Logic, 32, 589\u2013612.","journal-title":"Journal of Philosophical Logic"},{"key":"9346_CR52","doi-asserted-by":"crossref","first-page":"324","DOI":"10.2307\/2964568","volume":"24","author":"SA Kripke","year":"1959","unstructured":"Kripke, S.A. (1959). The problem of entailment, (abstract). Journal of Symbolic Logic, 24, 324.","journal-title":"Journal of Symbolic Logic"},{"key":"9346_CR53","doi-asserted-by":"crossref","unstructured":"Kripke, S.A. (1963). Semantical analysis of modal logic I. Normal modal propositional calculi. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik, 67\u201396.","DOI":"10.1002\/malq.19630090502"},{"key":"9346_CR54","doi-asserted-by":"crossref","unstructured":"Kripke, S.A. (1965). Semantical analysis of intuitionistic logic I. In J.N. Crossley & M.A.E. Dummett (Eds.), Formal Systems and Recursive Functions, Proceedings of the Eighth Logic Colloquium (pp. 92\u2013130). Amsterdam.","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"9346_CR55","unstructured":"Kripke, S.A. (1965). Semantical analysis of modal logic II. Non-normal propositional calculi In J.W. Addison, L. Henkin & A. Tarski (Eds.), The theory of models (pp. 206\u2013220). North-Holland, Amsterdam."},{"key":"9346_CR56","doi-asserted-by":"crossref","unstructured":"Lambek, J. (1961). On the calculus of syntactic types In R. Jacobson (Ed.), Structure of language and its mathematical aspects (pp. 166\u2013178). Providence: American Mathematical Society.","DOI":"10.1090\/psapm\/012\/9972"},{"key":"9346_CR57","doi-asserted-by":"crossref","unstructured":"Lemmon, E.J., Meredith, C.A., Meredith, D., Prior, A.N., & Thomas, I. (1969). Calculi of pure strict implication In J.W. Davis, D.J. Hockney & W.K. Wilson (Eds.), Philosophical logic (pp. 215\u2013250). Dordrecht: D. Reidel.","DOI":"10.1007\/978-94-010-9614-0_17"},{"key":"9346_CR58","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0168-0072(92)90075-B","volume":"56","author":"P Lincoln","year":"1992","unstructured":"Lincoln, P., Mitchell, J., Scedrov, A., & Shankar, N. (1992). Decision problems for linear logic. Annals of Pure and Applied Logic, 56, 239\u2013311.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9346_CR59","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1023\/A:1004731401855","volume":"29","author":"ED Mares","year":"2000","unstructured":"Mares, E.D. (2000). CE is not a conservative extension of E. Journal of Philosophical Logic, 29, 263\u2013275.","journal-title":"Journal of Philosophical Logic"},{"key":"9346_CR60","doi-asserted-by":"crossref","unstructured":"Mares, E.D. (2004). Relevant logic: A philosophical interpretation. Cambridge, UK: Cambridge University Press.","DOI":"10.1017\/CBO9780511520006"},{"key":"9346_CR61","unstructured":"Mares, E.D., & Meyer, R.K. (2001). Relevant logics In L. Goble (Ed.), The Blackwell guide to philosophical logic, Blackwell philosophy guides (pp. 280\u2013308). Oxford: Blackwell Publishers."},{"key":"9346_CR62","unstructured":"Meyer, R.K. (1966). Topics in modal and many-valued logic. PhD thesis, University of Pittsburgh, Ann Arbor."},{"key":"9346_CR63","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/j.apal.2003.11.015","volume":"127","author":"RK Meyer","year":"2004","unstructured":"Meyer, R.K. (2004). Ternary relations and relevant semantics. Annals of Pure and Applied Logic, 127, 195\u2013217.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9346_CR64","first-page":"407","volume":"15","author":"RK Meyer","year":"1972","unstructured":"Meyer, R.K., & Routley, R. (1972). Algebraic analysis of entailment I. Logique et Analyse, 15, 407\u2013428.","journal-title":"Logique et Analyse"},{"key":"9346_CR65","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/BF02123812","volume":"32","author":"RK Meyer","year":"1973","unstructured":"Meyer, R.K., & Routley, R. (1973). Classical relevant logics I. Studia Logica, 32, 51\u201366.","journal-title":"Studia Logica"},{"key":"9346_CR66","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF02120493","volume":"33","author":"RK Meyer","year":"1974","unstructured":"Meyer, R.K., & Routley, R. (1974). Classical relevant logics II. Studia Logica, 33, 183\u2013194.","journal-title":"Studia Logica"},{"key":"9346_CR67","unstructured":"Moorgat, M. (2010). Symmetric categorial grammar: residuation and Galois connections In J. van Benthem & M. Moortgat (Eds.), Festschrift for Joachim Lambek, Linguistic Analysis (Vol. 36, pp. 143\u2013166).. Vashon: Linguistic Analysis."},{"key":"9346_CR68","unstructured":"Morrill, G., & Valent\u00edn, O. (2010). Displacement calculus In J. van Benthem & M. Moortgat (Eds.), Festschrift for Joachim Lambek, Linguistic Analysis (Vol. 36, pp. 167\u2013192). Vashon: Linguistic Analysis."},{"key":"9346_CR69","unstructured":"Ono, H. (2003). Substructural logics and residuated lattices \u2014 an introduction In V.F. Hendricks & J. Malinowski (Eds.), 50 years of Studia Logica, Trends in Logic (Vol. 21, pp. 21193\u2013228).. Amsterdam: Kluwer."},{"key":"9346_CR70","doi-asserted-by":"crossref","first-page":"568","DOI":"10.1017\/S0960129512000412","volume":"23","author":"V Padovani","year":"2013","unstructured":"Padovani, V. (2013). Ticket Entailment is decidable. Mathematical Structures in Computer Science, 23, 568\u2013607.","journal-title":"Mathematical Structures in Computer Science"},{"key":"9346_CR71","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-3179-9","volume-title":"Substructural logics: A primer, Trends in Logic (Vol. 13).","author":"F Paoli","year":"2002","unstructured":"Paoli, F. (2002). Substructural logics: A primer, Trends in Logic (Vol. 13). Dordrecht: Kluwer."},{"key":"9346_CR72","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1016\/j.tcs.2006.03.018","volume":"357","author":"M Pentus","year":"2006","unstructured":"Pentus, M. (2006). Lambek calculus is NP-complete. Theoretical Compuer Science, 357, 186\u2013201.","journal-title":"Theoretical Compuer Science"},{"key":"9346_CR73","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"HA Priestley","year":"1970","unstructured":"Priestley, H.A. (1970). Representation of distributive lattices by means of ordered Stone spaces. Bulletin of the London Mathematical Society, 2, 186\u2013190.","journal-title":"Bulletin of the London Mathematical Society"},{"key":"9346_CR74","first-page":"133","volume":"29","author":"G Restall","year":"1995","unstructured":"Restall, G. (1995). Display logic and gaggle theory. Reports on Mathematical Logic, 29, 133\u2013146.","journal-title":"Reports on Mathematical Logic"},{"key":"9346_CR75","doi-asserted-by":"crossref","DOI":"10.4324\/9780203252642","volume-title":"An introduction to substructural logics","author":"G Restall","year":"2000","unstructured":"Restall, G. (2000). An introduction to substructural logics. London: Routledge."},{"key":"9346_CR76","doi-asserted-by":"crossref","first-page":"113","DOI":"10.12775\/LLP.2006.007","volume":"15","author":"G Robles","year":"2006","unstructured":"Robles, G., & M\u00e9ndez, J.M. (2006). Converse Ackermann property and constructive negation defined with a negation connective. Logic and Logical Philosophy, 15, 113\u2013130.","journal-title":"Logic and Logical Philosophy"},{"key":"9346_CR77","volume-title":"Quantales and their applications. Number 234 in Pitman research notes in mathematics","author":"KI Rosenthal","year":"1990","unstructured":"Rosenthal, K.I. (1990). Quantales and their applications. Number 234 in Pitman research notes in mathematics. Essex, UK and New York: Longman and J. Wiley."},{"key":"9346_CR78","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF00649991","volume":"1","author":"R Routley","year":"1972","unstructured":"Routley, R., & Meyer, R.K. (1972). The semantics of entailment \u2013 II. Journal of Philosophical Logic, 1, 53\u201373.","journal-title":"Journal of Philosophical Logic"},{"key":"9346_CR79","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/BF00650498","volume":"1","author":"R Routley","year":"1972","unstructured":"Routley, R., & Meyer, R.K. (1972). The semantics of entailment \u2013 III. Journal of Philosophical Logic, 1, 192\u2013208.","journal-title":"Journal of Philosophical Logic"},{"key":"9346_CR80","doi-asserted-by":"crossref","unstructured":"Routley, R., & Meyer, R.K. (1973). The semantics of entailment. In H. Leblanc (Ed.), Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics (pp. 194\u2013243). Amsterdam.","DOI":"10.1016\/S0049-237X(08)71541-6"},{"key":"9346_CR81","volume-title":"Relevant logics and their rivals I","author":"R Routley","year":"1982","unstructured":"Routley, R., Meyer, R.K., Plumwood, V., & Brady, R.T. (1982). Relevant logics and their rivals I. Atascadero: Ridgeview Publishing Company."},{"key":"9346_CR82","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1305\/ndjfl\/1082637806","volume":"44","author":"T Seki","year":"2004","unstructured":"Seki, T. (2004). General frames for relevant modal logics. Notre Dame Journal of Formal Logic, 44, 93\u2013109.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9346_CR83","first-page":"37","volume":"40","author":"MH Stone","year":"1936","unstructured":"Stone, M.H. (1936). The theory of representations for Boolean algebras. Transactions of the American Mathematical Society, 40, 37\u2013111.","journal-title":"Transactions of the American Mathematical Society"},{"key":"9346_CR84","first-page":"1","volume":"67","author":"MH Stone","year":"1937","unstructured":"Stone, M.H. (1937). Topological representations of distributive lattices and Brouwerian logics. \u010casopis pro p\u011bstov\u00e1n\u00ed matematiky a fysiky, \u010cast matematick\u00e1, 67, 1\u201325.","journal-title":"\u010casopis pro p\u011bstov\u00e1n\u00ed matematiky a fysiky, \u010cast matematick\u00e1"},{"key":"9346_CR85","unstructured":"Szabo, M.E. (1969). The Collected Papers of Gerhard Gentzen. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam."},{"key":"9346_CR86","volume-title":"Automated theorem proving in non-classical logics","author":"PB Thistlewaite","year":"1988","unstructured":"Thistlewaite, P.B., McRobbie, M.A., & & Meyer, R.K. (1988). Automated theorem proving in non-classical logics. London: Pitman."},{"key":"9346_CR87","volume-title":"Lectures on linear logic, CSLI lecture notes (Vol. 29).","author":"AS Troelstra","year":"1992","unstructured":"Troelstra, A.S. (1992). Lectures on linear logic, CSLI lecture notes (Vol. 29). Stanford: CSLI Publications."},{"key":"9346_CR88","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF02485369","volume":"8","author":"A Urquhart","year":"1978","unstructured":"Urquhart, A. (1978). A topological representation theorem for lattices. Algebra Universalis, 8, 45\u201358.","journal-title":"Algebra Universalis"},{"key":"9346_CR89","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.2307\/2274261","volume":"49","author":"A Urquhart","year":"1984","unstructured":"Urquhart, A (1984). The undecidability of entailment and relevant implication. Journal of Symbolic Logic, 49, 1059\u20131073.","journal-title":"Journal of Symbolic Logic"},{"key":"9346_CR90","doi-asserted-by":"crossref","unstructured":"Urquhart, A. (1990). The complexity of decision procedures in relevance logic. In J.M. Dunn & A. Gupta (Eds.), Truth or consequences (pp. 61\u201376). Amsterdam: Kluwer.","DOI":"10.1007\/978-94-009-0681-5_5"},{"key":"9346_CR91","doi-asserted-by":"crossref","first-page":"1774","DOI":"10.2307\/2586811","volume":"64","author":"A Urquhart","year":"1999","unstructured":"Urquhart, A. (1999). The complexity of decision procedures in relevance logic II. Journal of Symbolic Logic, 64, 1774\u20131802.","journal-title":"Journal of Symbolic Logic"},{"key":"9346_CR92","doi-asserted-by":"crossref","first-page":"66","DOI":"10.26686\/ajl.v5i0.1786","volume":"5","author":"A Urquhart","year":"2007","unstructured":"Urquhart, A (2007). Four variables suffice. Australasian Journal of Logic, 5, 66\u201373.","journal-title":"Australasian Journal of Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-015-9346-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-015-9346-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-015-9346-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,7]],"date-time":"2024-06-07T17:41:46Z","timestamp":1717782106000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-015-9346-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,8]]},"references-count":92,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["9346"],"URL":"https:\/\/doi.org\/10.1007\/s10992-015-9346-x","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3,8]]}}}