{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T08:13:22Z","timestamp":1775463202380,"version":"3.50.1"},"reference-count":27,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1995,2,1]],"date-time":"1995-02-01T00:00:00Z","timestamp":791596800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":6741,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[1995,2]]},"DOI":"10.1016\/0168-0072(93)e0084-2","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T02:14:35Z","timestamp":1027649675000},"page":"189-245","source":"Crossref","is-referenced-by-count":51,"title":["An algebraic theory of normal forms"],"prefix":"10.1016","volume":"71","author":[{"given":"Silvio","family":"Ghilardi","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0168-0072(93)E0084-2_BIB1","series-title":"Abstract and Concrete Categories","author":"Ad\u00e1mek","year":"1990"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB2","series-title":"Toposes, Triples, Theories","author":"Barr","year":"1985"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB3","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1002\/malq.19840301904","article-title":"Atoms in modal algebras","volume":"30","author":"Bellissima","year":"1984","journal-title":"Zeitschr. f\u00fcr Math. Log. und Grundl. der Math."},{"key":"10.1016\/0168-0072(93)E0084-2_BIB4","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/BF01195140","article-title":"An effective representation for finitely generated free interior algebras","volume":"20","author":"Bellissima","year":"1985","journal-title":"Algebra Universalis"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB5","series-title":"Indagationes Mathematicae","first-page":"362","article-title":"The free closure algebra with finitely many generators","author":"Blok","year":"1977"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB6","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1016\/0021-8693(74)90095-7","article-title":"Free monoids","volume":"29","author":"Dubuc","year":"1974","journal-title":"J. Algebra"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB7","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1305\/ndjfl\/1093891703","article-title":"Normal forms in modal logic","volume":"2","author":"Fine","year":"1975","journal-title":"Notre Dame J. Formal Logic XVI"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB8","first-page":"240","article-title":"Free Heyting algebras as bi-Heyting algebras","volume":"6","author":"Ghilardi","year":"1992","journal-title":"Math. Rep. Acad. Sci. Canada XVI"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB9","first-page":"130","article-title":"Modal and tense predicate logic: models in presheaves and categorical conceptualization","volume":"1348","author":"Ghilardi","year":"1988"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB10","doi-asserted-by":"crossref","unstructured":"S. Ghilardi and M. Zawadowski, A sheaf representation and duality for finitely presented Heyting algebras, J. Symbolic Logic, to appear.","DOI":"10.2307\/2275765"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB11","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1305\/ndjfl\/1093635330","article-title":"Characters and fixed points in provability logic","volume":"31","author":"Gleit","year":"1990","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB12","series-title":"Lattice Theory, first Concepts and distributive Lattices","author":"Gr\u00e4tzer","year":"1971"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB13","series-title":"A Companion to Modal Logic","author":"Hughes","year":"1984"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB14","article-title":"An extension of the Galois theory of Grothendieck","volume":"309","author":"Joyal","year":"1984"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB15","first-page":"869","article-title":"Functorial semantics of algebraic theories","volume":"50","author":"Lawvere","year":"1963"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB16","first-page":"1","article-title":"Equality in hyperdoctrines and comprehension schema as an adjoint functor","volume":"Vol 17","author":"Lawvere","year":"1970"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB17","series-title":"Categories for the Working Mathematician","author":"Lane","year":"1971"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB18","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1305\/ndjfl\/1093894226","article-title":"Some embeddings theorems for modal logic","author":"Makison","year":"1971","journal-title":"Notre Dame J. Formal Logic XII"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB19","doi-asserted-by":"crossref","first-page":"556","DOI":"10.1007\/BF01673502","article-title":"Interpolation theorems in modal logic and amalgamable varieties of topogical boolean algebras","volume":"18","author":"Maksimova","year":"1979","journal-title":"Algebra i Logika"},{"issue":"1","key":"10.1016\/0168-0072(93)E0084-2_BIB20","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2307\/2275175","article-title":"On an interpretation of second order quantification in first order intuitionistic propositional logic","volume":"57","author":"Pitts","year":"1992","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB21","series-title":"An Algebraic Approach to Nonclassical Logics","author":"Rasiowa","year":"1974"},{"issue":"3","key":"10.1016\/0168-0072(93)E0084-2_BIB22","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0168-0072(88)90021-8","article-title":"Topology and duality in modal logic","volume":"37","author":"Sambin","year":"1988","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB23","article-title":"Subalgebras of diagonalizable algebras of theories containing arithmetic","author":"Shavrukov","year":"1993"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB24","first-page":"1014","article-title":"Rieger-Nishimura lattices","volume":"19","author":"Shehtman","year":"1978","journal-title":"Soviet Mathematics-Doklady"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB25","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1111\/j.1755-2567.1975.tb00555.x","article-title":"Reduction of tense logic to modal logic II","volume":"41","author":"Thomason","year":"1975","journal-title":"Theoria"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB26","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF02945107","article-title":"Free Heyting algebras","volume":"3","author":"Urquhart","year":"1973","journal-title":"Algebra Universalis"},{"key":"10.1016\/0168-0072(93)E0084-2_BIB27","series-title":"Modal Logic and Classical Logic","author":"van Benthem","year":"1983"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007293E00842?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007293E00842?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T21:55:37Z","timestamp":1555278937000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0168007293E00842"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,2]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,2]]}},"alternative-id":["0168007293E00842"],"URL":"https:\/\/doi.org\/10.1016\/0168-0072(93)e0084-2","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[1995,2]]}}}