{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:06Z","timestamp":1706649006284},"reference-count":21,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2002,7,1]]},"DOI":"10.1305\/ndjfl\/1074290712","type":"journal-article","created":{"date-parts":[[2004,1,19]],"date-time":"2004-01-19T15:25:40Z","timestamp":1074525940000},"source":"Crossref","is-referenced-by-count":10,"title":["The Semantics of Entailment Omega"],"prefix":"10.1215","volume":"43","author":[{"given":"Mariangiola","family":"Dezani-Ciancaglini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert K.","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoko","family":"Motohama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","unstructured":"Anderson, A. R., and N. D. Belnap, Jr., <i>Entailment. V<\/i>ol. I. The Logic of Relevance and Necessity., Princeton University Press, Princeton, 1975."},{"key":"2","unstructured":"Anderson, A. R., N. D. Belnap, Jr., and J. M. Dunn, <i>Entailment. T<\/i>he Logic of Relevance and Necessity. Vol. II, Princeton University Press, Princeton, 1992."},{"key":"3","doi-asserted-by":"publisher","unstructured":"Barbanera, F., M. Dezani-Ciancaglini, and U. de'Liguoro, \"Intersection and union types: S\"yntax and semantics, <i>Information and Computation<\/i>, vol. 119 (1995), pp. 202\u201330.","DOI":"10.1006\/inco.1995.1086"},{"key":"4","unstructured":"Barendregt, H. P., <i>The L<\/i>ambda Calculus. Its Syntax and Semantics, revised edition, vol. 103 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland Publishing Co., Amsterdam, 1984."},{"key":"5","doi-asserted-by":"publisher","unstructured":"Barendregt, H., M. Coppo, and M. Dezani-Ciancaglini, \"A filter lambda model and the completeness of type assignment\", <i>The Journal of Symbolic Logic<\/i>, vol. 48 (1983), pp. 931\u201340.","DOI":"10.2307\/2273659"},{"key":"6","unstructured":"Curry, H. B., <i>Foundations of M<\/i>athematical Logic, McGraw-Hill Book Co., New York, 1963."},{"key":"7","unstructured":"Curry, H. B., and R. Feys, <i>Combinatory L<\/i>ogic. Vol. I, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1958."},{"key":"8","doi-asserted-by":"crossref","unstructured":"Dezani-Ciancaglini, M., A. Frisch, E. Giovannetti, and Y. Motohama, \"The relevance of semantic subtyping\", in <i>I<\/i>TRS 2002, vol. 70 (1) of <i>Electric Notes in Theoretical Computer Science<\/i>, edited by S. van Bakel, 2002. http:\/\/www.elsevier.nl\/locate\/entcs\/volume70.html","DOI":"10.1016\/S1571-0661(04)80492-4"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Dezani-Ciancaglini, M., and J. R. Hindley, \"Intersection types for combinatory logic\", <i>Theoretical Computer Science<\/i>, vol. 100 (1992), pp. 303\u201324.","DOI":"10.1016\/0304-3975(92)90306-Z"},{"key":"10","unstructured":"Dunn, J. M., <i>The A<\/i>lgebra of Intensional Logics, Ph.D. thesis, University of Pittsburgh, 1966."},{"key":"11","doi-asserted-by":"publisher","unstructured":"Frisch, A., G. Castagna, and V. Benzaken, \"Semantic subtyping\", pp. 137\u201346 in <i>Seventeenth I<\/i>EEE Symposium on Logic in Computer Science, edited by G. Plotkin, IEEE Computer Society Press, 2002.","DOI":"10.1145\/1391289.1391293"},{"key":"13","doi-asserted-by":"publisher","unstructured":"Hindley, J. R., and G. Longo, \"Lambda-calculus models and extensionality\", <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 26 (1980), pp. 289\u2013310.","DOI":"10.1002\/malq.19800261902"},{"key":"14","unstructured":"Hindley, J. R., and J. P. Seldin, <i>Introduction to C<\/i>ombinators and $\\lambda$-Calculus, vol. 1 of <i>London Mathematical Society Student Texts<\/i>, Cambridge University Press, Cambridge, 1986."},{"key":"15","doi-asserted-by":"publisher","unstructured":"Kripke, S. A., \"Semantical analysis of modal logic. I\". Normal modal propositional calculi, <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 9 (1963), pp. 67\u201396.","DOI":"10.1002\/malq.19630090502"},{"key":"16","unstructured":"Leblanc, H., \"On dispensing with things and worlds\", pp. 103\u201319 in <i>Existence, T<\/i>ruth, and Provability, edited by H. Leblanc, State University of New York Press, Albany, 1982. Originally published in Logic and Ontology, pp. 241\u201359, edited by M. K. Munitz, New York University Press, New York, 1973."},{"key":"17","unstructured":"Meyer, R. K., and R. Routley, \"Algebraic analysis of entailment. I\", <i>Logique et Analyse, Nouvelle S\u00e9rie<\/i>, vol. 15 (1972), pp. 407\u201328."},{"key":"18","doi-asserted-by":"publisher","unstructured":"Routley, R., and R. K. Meyer, \"The semantics of entailment. III\", <i>Journal of Philosophical Logic<\/i>, vol. 1 (1972), pp. 192\u2013208.","DOI":"10.1007\/BF00650498"},{"key":"19","unstructured":"Routley, R., V. Plumwood, R. K. Meyer, and R. T. Brady, <i>Relevant L<\/i>ogics and Their Rivals. Part I, Ridgeview Publishing Co., Atascadero, 1982."},{"key":"20","unstructured":"van Bakel, S., M. Dezani-Ciancaglini, U. de'Liguoro, and Y. Motohama, \"The minimal relevant logic and the call-by-value lambda calculus\", Technical Report TR-ARP-05-2000, Australian National University, 2000."},{"key":"21","doi-asserted-by":"publisher","unstructured":"Venneri, B., \"Intersection types as logical formulae\", <i>Journal of Logic and Computation<\/i>, vol. 4 (1994), pp. 109\u201324.","DOI":"10.1093\/logcom\/4.2.109"},{"key":"12","doi-asserted-by":"publisher","unstructured":"Harrop, R., \"Concerning formulas of the types $A\\rightarrow B\\bigvee C,\\,A\\rightarrow (Ex)B(x)$\" in intuitionistic formal systems, <i>The Journal of Symbolic Logic<\/i>, vol. 25 (1960), pp. 27\u201332.","DOI":"10.2307\/2964334"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1074290712","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:55:55Z","timestamp":1706648155000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-43\/issue-3\/The-Semantics-of-Entailment-Omega\/10.1305\/ndjfl\/1074290712.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7,1]]},"references-count":21,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2002,7,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1074290712","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2002,7,1]]}}}