{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:46Z","timestamp":1761611146240},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bf00881958","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T07:38:56Z","timestamp":1104133136000},"page":"243-281","source":"Crossref","is-referenced-by-count":38,"title":["A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics"],"prefix":"10.1007","volume":"13","author":[{"given":"Marcello","family":"D'Agostino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dov M.","family":"Gabbay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"1403","DOI":"10.2307\/2275485","volume":"56","author":"V. M. Abrusci","year":"1991","unstructured":"Abrusci, V. M.: Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic,Journal of Symbolic Logic 56 (1991), 1403?1451.","journal-title":"Journal of Symbolic Logic"},{"key":"CR2","volume-title":"Entailment: The Logic of Relevance and Necessity, volume 1","author":"A. R. Anderson","year":"1975","unstructured":"Anderson, A. R. and Belnap, N. D., Jr.:Entailment: The Logic of Relevance and Necessity, volume 1, Princeton University Press, Princeton, 1975."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"514","DOI":"10.2307\/2275217","volume":"58","author":"G. Allwein","year":"1993","unstructured":"Allwein, G. and Dunn, J. M.: Kripke models for linear logic,Journal of Symbolic Logic 58 (1993), 514?545.","journal-title":"Journal of Symbolic Logic"},{"key":"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.: The semantics and proof theory of linear logic,Theoretical Computer Science 57 (1988), 161?184.","journal-title":"Theoretical Computer Science"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A. Avron","year":"1991","unstructured":"Avron, A.: Simple consequence relations,Journal of Information and Computation 92 (1991), 105?139.","journal-title":"Journal of Information and Computation"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Beckert, Bernhard, H\u00e4hnle, Reiner and Schmitt, Peter: The even more liberalized ?-rule in free-variable semantic tableaux, in Gottlob, G., Leitsch, A. and Mundici, D. (eds)Proc. 3rd Kurt G\u00f6del Colloquium, Brno, Czech Republic, Springer-Verlag, 1993, pp. 108?118.","DOI":"10.1007\/BFb0022559"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/BF00156916","volume":"1","author":"Marcello D'Agostino","year":"1992","unstructured":"D'Agostino, Marcello: Are tableaux an improvement on truth-tables?Journal of Logic, Language and Information 1 (1992), 235?252.","journal-title":"Journal of Logic, Language and Information"},{"key":"CR8","unstructured":"D'Agostino, Marcello: On the efficiency of proof search in classical analytic deduction, to appear. (Preliminary version presented at theWorkshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille, 28?30 April 1993.)"},{"issue":"3","key":"CR9","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1093\/logcom\/4.3.285","volume":"4","author":"Marcello D'Agostino","year":"1994","unstructured":"D'Agostino, Marcello and Mondadori, Marco: The taming of the cut,Journal of Logic and Computation 4(3) (1994), 285?319.","journal-title":"Journal of Logic and Computation"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF00671566","volume":"47","author":"Kosta D\u00f4sen","year":"1988","unstructured":"D\u00f4sen, Kosta: Sequent systems and groupoid models, I,Studia Logica 47 (1988), 353?385.","journal-title":"Studia Logica"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF00370633","volume":"48","author":"Kosta D\u00f4sen","year":"1989","unstructured":"D\u00f4sen, Kosta: Sequent systems and groupoid models, II,Studia Logica 48 (1989), 41?65.","journal-title":"Studia Logica"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"J. M. Dunn","year":"1976","unstructured":"Dunn, J. M.: Intuitive semantics for first-degree entailment and coupled trees,Philosophical Studies 29 (1976), 149?168.","journal-title":"Philosophical Studies"},{"key":"CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"M. Fitting","year":"1983","unstructured":"Fitting, M.:Proof Methods for Modal and Intuitionistic Logics, Reidel, Dordrecht, 1983."},{"key":"CR14","unstructured":"Gabbay, D.M.: Labelled deductive systems, part I. Technical Report CIS-Bericht-90-22, CIS-Universit\u00e4t M\u00fcnchen, February 1991. Preliminary partial draft of a book intended for Oxford University Press."},{"key":"CR15","unstructured":"Gabbay, Dov M.: Fibred semantics and the weaving of logics, I. Technical Report, University of Stuttgart, 1993."},{"key":"CR16","unstructured":"Gabbay, Dov M.: Classical versus non-classical logics, in Dov Gabbay, Chris Hogger, and J. H. Robinson (eds),Handbook of Logic in AI and Logic Programming, Oxford University Press (to appear)."},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Gabbay, Dov M.: General theory of structured consequence relations, in P. Schroeder Heister and Kosta D\u00f4sen (eds),Substructural Logics, Oxford University Press, 1993, pp. 109?151.","DOI":"10.1093\/oso\/9780198537779.003.0005"},{"key":"CR18","unstructured":"Gabbay, Dov M. and Ohlbach, Hans J.: An algebraic fine structure for logical systems, in Dov Gabbay and Franz Guenthner (eds),What is a Logical System? Oxford University Press (to appear)."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Gabbay, Dov M. and Ohlbach, Hans J.: From Hilbert calculus to possible-world semantics, in Krysia Broda (ed.),Proceedings of ALPUK Logic Programming Conference 1992, Lecture Notes in Computer Science. Springer 1993, pp. 219?252.","DOI":"10.1007\/978-1-4471-3421-3_13"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, Reiner: Automated Deduction in Multiple-Valued Logics, inMonographs on Computer Science, Oxford University Press,10 (1994).","DOI":"10.1093\/oso\/9780198539896.001.0001"},{"key":"CR21","first-page":"36","volume":"4","author":"S. Yu. Maslov","year":"1969","unstructured":"Maslov, S. Yu.: Invertible sequent variant of constructive predicate calculus,Seminar in Mathematics, V. A. Steklov Mathematical Institute, Leningrad,4 (1969), 36?42.","journal-title":"Seminar in Mathematics, V. A. Steklov Mathematical Institute, Leningrad"},{"key":"CR22","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF00370441","volume":"38","author":"Michael A. McRobbie","year":"1979","unstructured":"McRobbie, Michael A. and Belnap, Nuel D.: Relevant analytic tableaux,Studia Logica 38 (1979), 187?200.","journal-title":"Studia Logica"},{"key":"CR23","unstructured":"Moortgat, Michael, Labelled deductive systems for categorial theorem proving, in Dekker and Stokhof (eds),Proc. 8th Amsterdam Colloquium, 1992."},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"Ono, H.: Semantics for substructural logics, in Peter Schroeder-Heister (ed.),Substructural Logics, Oxford University Press, 1993, pp. 259?291.","DOI":"10.1093\/oso\/9780198537779.003.0010"},{"key":"CR25","unstructured":"Rosenthal, Kimmo, I.:Quantales and their applications, Longman, 1990."},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Routley, R. and Meyer, R. K.: The semantics of entailment, I, in H. Leblanc (ed.),Truth, Syntax and Semantics, North-Holland, 1973.","DOI":"10.1016\/S0049-237X(08)71541-6"},{"key":"CR27","doi-asserted-by":"crossref","first-page":"335","DOI":"10.2307\/2214309","volume":"VI","author":"R. Routley","year":"1972","unstructured":"Routley, R. and Routley, V.: The semantics of first degree entailment,No\u00fbs VI (1972), 335?359.","journal-title":"No\u00fbs"},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"Sambin, G.: The semantics of pretopologies, in Peter Schroeder-Heister (ed.),Substructural Logics, Oxford University Press, 1993, pp. 293?307.","DOI":"10.1093\/oso\/9780198537779.003.0011"},{"key":"CR29","unstructured":"Thistlewaite, P. B., McRobbie, M. A. and Meyer, B. K.:Automated Theorem Proving in Non Classical Logics, Pitman, 1988."},{"key":"CR30","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2272559","volume":"37","author":"Alasdair Urquhart","year":"1972","unstructured":"Urquhart, Alasdair: Semantics for relevant logic,Journal of Symbolic Logic 37 (1972), 159?170.","journal-title":"Journal of Symbolic Logic"},{"key":"CR31","volume-title":"Automated Deduction in Non-Classical Logics","author":"L. A. Wallen","year":"1990","unstructured":"Wallen, L. A.:Automated Deduction in Non-Classical Logics, The MIT Press, Cambridge, Mass., 1990."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881958.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00881958\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881958","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,17]],"date-time":"2024-01-17T11:47:04Z","timestamp":1705492024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00881958"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994]]}},"alternative-id":["BF00881958"],"URL":"https:\/\/doi.org\/10.1007\/bf00881958","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}