{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:37:33Z","timestamp":1759333053105,"version":"3.43.0"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,5,1]],"date-time":"1997-05-01T00:00:00Z","timestamp":862444800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,5,1]],"date-time":"1997-05-01T00:00:00Z","timestamp":862444800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1997,5]]},"DOI":"10.1023\/a:1004982417404","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:24:14Z","timestamp":1040484254000},"page":"403-450","source":"Crossref","is-referenced-by-count":34,"title":["Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics"],"prefix":"10.1007","volume":"58","author":[{"given":"Chrysafis","family":"Hartonas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"136720_CR1","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1002\/malq.19900360405","volume":"36","author":"V. M. Abrusci","year":"1990","unstructured":"Abrusci, V. M., 1990, Non-Commutative Intuitionistic Linear Logic, Zeitschr. f. math. Logik und Grundlagen d. Math. 36, 297-318.","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"key":"136720_CR2","doi-asserted-by":"crossref","first-page":"514","DOI":"10.2307\/2275217","volume":"58","author":"G. Allwein","year":"1993","unstructured":"Allwein, G., and J. M. Dunn, 1993, Kripke Models for Linear Logic, The Journal of Symbolic Logic 58, 514-545.","journal-title":"The Journal of Symbolic Logic"},{"key":"136720_CR3","unstructured":"Allwein, G., and C. Hartonas 1993, Duality for Bounded Lattices, Indiana University Logic Group, Preprint Series, IULG 93-25."},{"issue":"1","key":"136720_CR4","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1093\/jigpal\/3.1.7","volume":"3","author":"J. Barwise","year":"1995","unstructured":"Barwise, J., D. Gabbay, C. Hartonas 1995, On the Logic of Information Flow, Bulletin of the IGPL, 3,1, 7-49. IULG 94-29.","journal-title":"Bulletin of the IGPL"},{"key":"136720_CR5","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-009-6259-0_4","volume-title":"Handbook of Philosophical Logic","author":"J. van Benthem","year":"1984","unstructured":"van Benthem, J., 1984, Modal Cerrespondance Theory, in: D. Gabbay and F. Guenthner, eds., Handbook of Philosophical Logic, vol. II, Reidel, Dordrecht, 167-247."},{"key":"136720_CR6","doi-asserted-by":"crossref","unstructured":"Birkhoff, G., 1940, Lattice Theory, reprinted 1979, Amer. Math. Soc. Colloquium Publications\n25.","DOI":"10.1090\/coll\/025"},{"key":"136720_CR7","volume-title":"Memoirs of the American Mathematical Society","author":"W. J. Blok","year":"1989","unstructured":"Blok, W. J., and D. Pigozzi, 1989, Algebraizable Logics\u201d, Memoirs of the American Mathematical Society 77,number 396, Providence, Rhode Island, USA."},{"key":"136720_CR8","unstructured":"Davey, B. A., and H. A. Priestley, 1990, Introduction to Lattices and Order, Cambridge Mathematical Textbooks, Cambridge University Press."},{"key":"136720_CR9","first-page":"2","volume":"48","author":"K. Do\u0160en","year":"1987","unstructured":"Do\u0160en, K., 1987, Duality Between Modal Algebras and Neighborhood Frames, Studia Logica\n48, 2.","journal-title":"Studia Logica"},{"key":"136720_CR10","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/BF00671566","volume":"47","author":"K. Do\u0160en","year":"1989","unstructured":"Do\u0160en, K., 1989\u201390, Sequent Systems and Groupoid Models I, II, Studia Logica 47, 353-385, 48, 41\u201365.","journal-title":"Studia Logica"},{"key":"136720_CR11","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/BF00260931","volume":"21","author":"K. Do\u0160en","year":"1992","unstructured":"Do\u0160en, K., 1992, Modal Translations in Substructural Logics, Journal of Philosophical Logic 21, 283-336.","journal-title":"Journal of Philosophical Logic"},{"key":"136720_CR12","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., 1986, Relevance Logic and Entailment, D. Gabbay and F. Guenthner eds. Handbook of Philosophical Logic vol III, D. Reidel Publishing Company, 117-224.","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"136720_CR13","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., 1991, Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation and Various Logical Operators, Logics in AI, Proceedings European Workshop JELIA 1990, LNCS 478, Springer Verlag.","DOI":"10.1007\/BFb0018431"},{"key":"136720_CR14","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., 1993, Partial-Gaggles applied to Logics with Restricted Structural Rules, Indiana University Logic Group, Preprint Series, IULG-93-22.","DOI":"10.1093\/oso\/9780198537779.003.0004"},{"key":"136720_CR15","unstructured":"Dunn, J. M., and Hardegree, Algebraic Methods in Philosophical Logic, (in progress)."},{"key":"136720_CR16","doi-asserted-by":"publisher","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-102.","journal-title":"Theoretical Computer Science"},{"key":"136720_CR17","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1112\/blms\/7.1.45","volume":"7","author":"R. I. Goldblatt","year":"1975","unstructured":"Goldblatt, R. I., 1975, The Stone Space of an Ortholattice, Bull. London Math. Soc. 7, 45-48.","journal-title":"Bull. London Math. Soc."},{"key":"136720_CR18","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BF00652069","volume":"3","author":"R. I. Goldblatt","year":"1974","unstructured":"Goldblatt, R. I., 1974, Semantic Analysis of Orthologic, Journal of Philosophical Logic 3, 19-35.","journal-title":"Journal of Philosophical Logic"},{"key":"136720_CR19","first-page":"41","volume":"6","author":"R. I. Goldblatt","year":"1976","unstructured":"Goldblatt, R. I., 1976\u20137, Metamathematics of Modal Logic I, II, Reports on Mathematical Logic 6 41-78 (1976), 7 21\u201352 (1976).","journal-title":"Reports on Mathematical Logic"},{"key":"136720_CR20","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0168-0072(89)90032-8","volume":"44","author":"R. I. Goldblatt","year":"1989","unstructured":"Goldblatt, R. I., 1989, Varieties of Complex Algebras, Annals of Pure and Applied Logic, 44, 173-242.","journal-title":"Annals of Pure and Applied Logic"},{"key":"136720_CR21","unstructured":"Goldblatt, R. I., 1988, On Closure under Canonical Embedding Algebras, Colloquia Mathematica Societatis J\u00e1nos Bolyai 54, Algebraic Logic, Budapest (Hungary)."},{"key":"136720_CR22","series-title":"Research Report","volume-title":"Elementary Generation and Canonicity for Varieties of Boolean Algebras with Operators","author":"R. I. Goldblatt","year":"1992","unstructured":"Goldblatt, R. I., 1992, Elementary Generation and Canonicity for Varieties of Boolean Algebras with Operators, Research Report 92-101, Victoria University of Wellington, Mathematics Department, Wellington, New Zealand."},{"key":"136720_CR23","volume-title":"Algebraic Logic","author":"P. R. Halmos","year":"1962","unstructured":"Halmos, P. R., 1962, Algebraic Logic, Chelsea Publishing Company, New York."},{"key":"136720_CR24","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/BF01194512","volume":"17","author":"G. Hansoul","year":"1983","unstructured":"Hansoul, G., 1983, A Duality for Boolean Algebras with Operators, Algebra Universalis 17, 34-49.","journal-title":"Algebra Universalis"},{"key":"136720_CR25","unstructured":"Hartonas, C., 1994, Algebraic and Kripke Semantics for Substructural Logics, Phd thesis, Departments of Mathematics and of Philosophy, Indiana University."},{"key":"136720_CR26","unstructured":"Hartonas, C., 1993, Lattices with Additional Operators, Indiana University Logic Group, Preprint Series, IULG 93-27."},{"key":"136720_CR27","unstructured":"Hartonas, C., and J. M. Dunn, 1993, Stone Duality for Lattices, Algebra Universalis, (to appear)."},{"key":"136720_CR28","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF01190610","volume":"17","author":"G. Hartung","year":"1992","unstructured":"Hartung, G., 1992, A Topological Representation of Lattices, Algebra Universalis 17, 273-299.","journal-title":"Algebra Universalis"},{"key":"136720_CR29","unstructured":"Johnstone, P. T., 1986, Stone Spaces, Cambridge University Press."},{"key":"136720_CR30","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73\u201374","author":"B. J\u00d3nsson","year":"1951","unstructured":"J\u00d3nsson, B., and A. Tarski, 1951\u20132, Boolean Algebras with Operators, American Journal of Mathematics, 73\u201374, 891-939, 127\u2013162.","journal-title":"American Journal of Mathematics"},{"key":"136720_CR31","first-page":"5660","volume":"34","author":"S. Kripke","year":"1967","unstructured":"Kripke, S., 1967, Review of [32], Mathematical Reviews 34, 5660-5661.","journal-title":"Mathematical Reviews"},{"issue":"number1","key":"136720_CR32","doi-asserted-by":"crossref","first-page":"46","DOI":"10.2307\/2270619","volume":"31","author":"E. J. Lemmon","year":"1966","unstructured":"Lemmon, E. J., 1966, Algebraic Semantics for Modal Logic, I, II, Journal of Symbolic Logic 31,number 1 46-65 and number 2 191\u2013218.","journal-title":"Journal of Symbolic Logic"},{"key":"136720_CR33","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF00401552","volume":"49","author":"N. G. Martinez","year":"1988","unstructured":"Martinez, N. G., 1988, The Priestley Duality for Wajsberg Algebras, Studia Logica\n49, 31-46.","journal-title":"Studia Logica"},{"key":"136720_CR34","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2273798","volume":"50","author":"H. Ono","year":"1985","unstructured":"Ono, H., and Y. Komori, 1985, Logics Without the Contraction Rule, The Journal of Symbolic Logic 50, 169-201.","journal-title":"The Journal of Symbolic Logic"},{"key":"136720_CR35","doi-asserted-by":"crossref","unstructured":"Ono, H., 1990, Structural Rules and a Logical Hierarchy, Mathematical Logic, Proceedings of the Summer Schools and Conference on Mathematical Logic, Heyting '88, Bulgaria, P. P. Petkov ed., Plenum Press, 95-104.","DOI":"10.1007\/978-1-4613-0609-2_8"},{"key":"136720_CR36","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1090\/conm\/131.3\/1175910","volume":"131","author":"H. Ono","year":"1992","unstructured":"Ono, H., 1992, Algebraic Aspects of Logics without Structural Rules, AMS, Contemporary Mathematics, 131, 601-621.","journal-title":"AMS, Contemporary Mathematics"},{"key":"136720_CR37","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"H. A. Priestley","year":"1970","unstructured":"Priestley, H. A., 1970, Representation of Distributive Lattices by means of Ordered Stone Spaces, Bull. Lond. Math. Soc. 2, 186-90.","journal-title":"Bull. Lond. Math. Soc."},{"key":"136720_CR38","first-page":"194","volume-title":"Truth, Syntax and Semantics","author":"R. Routley","year":"1973","unstructured":"Routley, R., and R. K. Meyer, 1973, The Semantics of Entailment I, H. Leblanc ed. Truth, Syntax and Semantics, North Holland, Amsterdam, 194-243."},{"key":"136720_CR39","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BF00649991","volume":"1","author":"R. Routley","year":"1972","unstructured":"Routley, R., and R. K. Meyer, 1972, The Semantics of Entailment II and III, Journal of Philosophical Logic 1, 53-73, 192\u2013208.","journal-title":"Journal of Philosophical Logic"},{"key":"136720_CR40","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0168-0072(88)90021-8","volume":"37","author":"R. Sambin","year":"1988","unstructured":"Sambin, R., and V. Vaccaro, 1988, Topology and Duality in Modal Logic, Annals of Pure and Applied Logic 37, 249-296.","journal-title":"Annals of Pure and Applied Logic"},{"key":"136720_CR41","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1090\/S0002-9904-1938-06871-1","volume":"44","author":"M. H. Stone","year":"1938","unstructured":"Stone, M. H., 1938, The Representation of Boolean Algebras, Bull. Amer. Math. Soc. 44, 807-16.","journal-title":"Bull. Amer. Math. Soc."},{"key":"136720_CR42","first-page":"1","volume":"67","author":"M. H. Stone","year":"1937","unstructured":"Stone, M. H., 1937, Topological Representation of Distributive Lattices and Brouwerian Logics, Casopsis pro Pestovani Matematiky a Fysiky 67, 1-25.","journal-title":"Casopsis pro Pestovani Matematiky a Fysiky"},{"key":"136720_CR43","first-page":"1","volume":"67","author":"M. H. Stone","year":"1937","unstructured":"Stone, M. H., 1937, Topological Representation of Distributive Lattices and Brouwerian Logics, Casopsis pro Pestovani Matematiky a Fysiky 67, 1-25.","journal-title":"Casopsis pro Pestovani Matematiky a Fysiky"},{"key":"136720_CR44","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2272558","volume":"37","author":"S. K. Thomason","year":"1972","unstructured":"Thomason, S. K., 1972, Semantic Analysis of Tense Logic, Journal of Symbolic Logic 37, 150-158.","journal-title":"Journal of Symbolic Logic"},{"key":"136720_CR45","unstructured":"Troelstra, A. S., 1992, Lectures on Linear Logic, Center for the Study of Language and Information, CSLI Lecture Notes No 29."},{"key":"136720_CR46","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF02485369","volume":"8","author":"A. Urquhart","year":"1979","unstructured":"Urquhart, A., 1979, A Topological Representation Theorem for Lattices Algebra Universalis 8, 45-58.","journal-title":"Algebra Universalis"},{"key":"136720_CR47","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/BF00370442","volume":"38","author":"A. Urquhart","year":"1979","unstructured":"Urquhart, A., 1979, 1982, Distributive Lattices with a Dual Homomorphic Operation I, II, Studia Logica\n38, 40, 201-209, 391\u2013404.","journal-title":"Studia Logica"},{"key":"136720_CR48","unstructured":"Urquhart, A., Duality for Algebras of Relevant Logics, (in progress)."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004982417404.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004982417404\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004982417404.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:18:32Z","timestamp":1754630312000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004982417404"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,5]]},"references-count":48,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,5]]}},"alternative-id":["136720"],"URL":"https:\/\/doi.org\/10.1023\/a:1004982417404","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,5]]}}}