{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T16:17:55Z","timestamp":1781281075195,"version":"3.54.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1991,9,1]],"date-time":"1991-09-01T00:00:00Z","timestamp":683683200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1991,9]]},"DOI":"10.1007\/bf01531058","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:19:28Z","timestamp":1113869968000},"page":"225-248","source":"Crossref","is-referenced-by-count":125,"title":["Hypersequents, logical consequence and intermediate logics for concurrency"],"prefix":"10.1007","volume":"4","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Entailment, vol. 1","author":"A.R. Anderson","year":"1975","unstructured":"A.R. Anderson and N.P. Belnap,Entailment, vol. 1 (Princeton University Press, Princeton, NJ, 1975)."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"939","DOI":"10.2307\/2273828","volume":"52","author":"A. Avron","year":"1987","unstructured":"A. Avron, A constructive analysis of RM, J. Symbolic Logic 52 (1987) 939?951.","journal-title":"J. Symbolic Logic"},{"key":"CR3","unstructured":"A. Avron, Natural 3-valued logic: foundations and proof theory, to appear in J. Symbolic Logic."},{"key":"CR4","unstructured":"A. Avron, Simple consequence relations, to appear in Information and Computation."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0304-3975(88)90037-0","volume":"57","author":"A. Avron","year":"1988","unstructured":"A. Avron, The semantics and proof theory of linear logic, Theor. Comp. Sci. 57 (1988) 161?184.","journal-title":"Theor. Comp. Sci."},{"key":"CR6","unstructured":"A. Avron, Gentzen-type systems, resolution and tableaux, Technical Report 161\/90, The Eskenasy Institute of Computer Science, Tel Aviv University, Tel Aviv, Israel."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1305\/ndjfl\/1093636612","volume":"27","author":"A. Avron","year":"1986","unstructured":"A. Avron, On an implication connective of RM, Notre Dame J. Formal Logic 27 (1986) 201?209.","journal-title":"Notre Dame J. Formal Logic"},{"key":"CR8","volume-title":"Implementing Mathematics with the NuPRL Proof Development System","author":"R.L. Constable","year":"1986","unstructured":"R.L. Constable et al.,Implementing Mathematics with the NuPRL Proof Development System (Prentice-Hall, Englewood Cliffs, NJ, 1986)."},{"key":"CR9","unstructured":"J.M. Dunn, Relevant logic and entailment, in:Handbook of Philosophical Logic, vol. 3, eds. D. Gabbay and F. Guenthner (Reidel, Dordrecht, Holland; Boston, USA, 1984)."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1017\/S0022481200125848","volume":"24","author":"M. Dummett","year":"1959","unstructured":"M. Dummett, A propositional calculus with denumerable matrix, J. Symbolic Logic 24 (1959) 96?107.","journal-title":"J. Symbolic Logic"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1002\/malq.19710170126","volume":"17","author":"J.M. Dunn","year":"1971","unstructured":"J.M. Dunn and R.K. Mayer, Algebraic completeness results for Dummett's LC and its extensions, Z. math. Logik und Grundlagen der Mathematik 17 (1971) 225?230.","journal-title":"Z. math. Logik und Grundlagen der Mathematik"},{"key":"CR12","volume-title":"The Collected Works of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"G. Gentzen, Investigations into logical deduction, in:The Collected Works of Gerhard Gentzen, ed. M.E. Szabo (North-Holland, Amsterdam, 1969)."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.Y. Girard","year":"1987","unstructured":"J.Y. Girard, Linear logic, Theor. Comp. Sci. 50 (1987) 1?101.","journal-title":"Theor. Comp. Sci."},{"key":"CR14","first-page":"34","volume":"4","author":"K. G\u00f6del","year":"1933","unstructured":"K. G\u00f6del, Zum intuitionistishen Aussagenkalk\u00fcul, Ergeb. Math. Koll. 4 (1933) 34?38.","journal-title":"Ergeb. Math. Koll."},{"key":"CR15","unstructured":"J.Y. Girard, Y. Lafont and P. Taylor,Proof and Types (Cambridge University Press, 1989)."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"G. Huet, Deduction and computation, in:Fundamentals of Artificial Intelligence, eds. W. Bibel and K. Jorrand, Lecture Notes in Computer Science (Springer, 1986).","DOI":"10.1007\/BFb0022680"},{"key":"CR17","unstructured":"R. Milner,Communication and Concurrency (Prentice-Hall, 1989)."},{"key":"CR18","volume-title":"Programming in Martin-L\u00f6f's type theory, preprint","author":"B. Nordstr\u00f6m","year":"1988","unstructured":"B. Nordstr\u00f6m, K. Peterson and J. Smith, Programming in Martin-L\u00f6f's type theory, preprint, University of G\u00f6teborg, Sweden (Midsummer 1988)."},{"key":"CR19","first-page":"900","volume":"48","author":"G. Pottinger","year":"1983","unstructured":"G. Pottinger, Uniform, cut-free formulations of T, S4 and S5, (abstract), J. Symbolic Logic 48 (1983) 900.","journal-title":"J. Symbolic Logic"},{"key":"CR20","volume-title":"Natural Deduction ? A Proof-theoretical Study","author":"D. Prawitz","year":"1965","unstructured":"D. Prawitz,Natural Deduction ? A Proof-theoretical Study (Almquist and Wiksell, Stockholm, 1965)."},{"key":"CR21","first-page":"7","volume":"7","author":"O. Sonobo","year":"1975","unstructured":"O. Sonobo, A. Gentzen-type formulation of some intermediate propositional logics, J. Tsuda College 7 (1975) 7?14.","journal-title":"J. Tsuda College"},{"key":"CR22","volume-title":"Handbook of Philosophical Logic, vol. 3","author":"A. Urquhart","year":"1984","unstructured":"A. Urquhart, Many-valued logic, in:Handbook of Philosophical Logic, vol. 3, eds. D. Gabbay and F. Guenthner (Reidel, Dordrecht, Holland; Boston, USA, 1984)."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0003-4843(82)90024-9","volume":"22","author":"A. Visser","year":"1982","unstructured":"A. Visser, On the completeness principle: A study of provability in Heyting's arithmetic, Ann. Math. Logic 22 (1982) 263?295.","journal-title":"Ann. Math. Logic"},{"key":"CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0003-4843(74)90010-2","volume":"7","author":"J. Zucker","year":"1974","unstructured":"J. Zucker, The correspondence between cut-elimination and normalization, Ann. Math. Logic 7 (1974) 1?112.","journal-title":"Ann. Math. Logic"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01531058\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531058.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01531058\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531058","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T13:31:34Z","timestamp":1556890294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01531058"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,9]]},"references-count":24,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1991,9]]}},"alternative-id":["BF01531058"],"URL":"https:\/\/doi.org\/10.1007\/bf01531058","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,9]]}}}