{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T05:52:06Z","timestamp":1774590726120,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bf01061240","type":"journal-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T03:14:16Z","timestamp":1107054856000},"page":"319-346","source":"Crossref","is-referenced-by-count":3,"title":["On Ockham algebras: Congruence lattices and subdirectly irreducible algebras"],"prefix":"10.1007","volume":"55","author":[{"given":"P.","family":"Garcia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Esteva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Distributive Lattices","author":"R. Balbes","year":"1974","unstructured":"Balbes, R. andDwinger, P.H., (1974):Distributive Lattices, University of Missouri Pres. Columbia."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/BF01836429","volume":"16","author":"J. Berman","year":"1977","unstructured":"Berman, J., (1977): Distributive Lattices with an Additional Unary Operation,Aequationes Math. 16 165?171.","journal-title":"Aequationes Math."},{"issue":"5","key":"CR3","first-page":"615","volume":"III","author":"A. Bialynicki-Birula","year":"1957","unstructured":"Bialynicki-Birula, A., (1957): Remarks on Quasi-Boolean Algebras,Bull. Acad. Pol. Scient. cl. III, 5 615?619.","journal-title":"Bull. Acad. Pol. Scient. cl."},{"issue":"5","key":"CR4","first-page":"259","volume":"III","author":"A. Bialynicki-Birula","year":"1957","unstructured":"Bialynicki-Birula, A. andRasiowa, H., (1957): On the Representation of Quasi-Boolean Algebras,Bull. Acad. Pol. Scient. cl. III, 5 259?261.","journal-title":"Bull. Acad. Pol. Scient. cl."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02483723","volume":"15","author":"W.J. Block","year":"1982","unstructured":"Block, W.J. andPigozzi, D., (1982): On the structure of varieties with equationally definable principal congruences,Algebra Universalis 15 195?227.","journal-title":"Algebra Universalis"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Burris, S. andSankappanavar, H.P., (1981):A course in Universal Algebra, Graduate Texts in Mathematics, Vol. 78, Springer-Verlag.","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1090\/S0002-9939-1975-0357259-4","volume":"47","author":"R. Cignoli","year":"1975","unstructured":"Cignoli, R., (1975): Injective De Morgan and Kleene algebras,Prod. Amer. Soc. 47 269?278.","journal-title":"Prod. Amer. Soc."},{"key":"CR8","volume-title":"Contribuci\u00f3 a l'estudi algebr\u00e0ic de models per a una l\u00f2gica de la vaguetat","author":"P. Garcia","year":"1988","unstructured":"Garcia, P., (1988):Contribuci\u00f3 a l'estudi algebr\u00e0ic de models per a una l\u00f2gica de la vaguetat. Ph. D. Universitat Polit\u00e8cnica de Catalunya. Barcelona. Spain."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Garcia, P. andEsteva, F., (1988): Representation of Symmetric Algebras and its Subvarieties,Proceedings of 18th International Symposium on Multiple-valued Logic, Palma de Mallorca, Spain, 277?284.","DOI":"10.1109\/ISMVL.1988.5184"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Garcia, P. andEsteva, F., (1989): Representation Theorem of Ockham Algebras,Proceedings of 19th International Symposium on Multiple-valued Logic, Guangzhou, China, 14?19.","DOI":"10.1109\/ISMVL.1989.37753"},{"key":"CR11","volume-title":"Universal Algebra","author":"G. Gr\u00e4tzer","year":"1968","unstructured":"Gr\u00e4tzer, G., (1968):Universal Algebra, Van Nostrand, Princeton."},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Gr\u00e4tzer, G., (1978): General Lattice Theory,Mathematische Reihe, Birkh\u00e4user.","DOI":"10.1007\/978-3-0348-7633-9"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/BF02023870","volume":"9","author":"G. Gr\u00e4tzer","year":"1958","unstructured":"Gr\u00e4tzer, G. andSchmidt, E.T., (1958): Ideals and congruence relations in lattices,Acta. Math. Acad. Science Hungar. 9 137?175.","journal-title":"Acta. Math. Acad. Science Hungar."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"J.A. Kalman","year":"1958","unstructured":"Kalman, J.A., (1958): Lattices with involution,Trans. Amer. Mat. Soc. 87 485?491.","journal-title":"Trans. Amer. Mat. Soc."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF02483100","volume":"11","author":"P. K\u00f6hler","year":"1980","unstructured":"K\u00f6hler, P. andPigozzi, D., (1980): Varieties with equationally definable principal congruences,Algebra Universalis 11 213?219.","journal-title":"Algebra Universalis"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1090\/S0002-9939-1973-0392730-9","volume":"37","author":"H. Lakser","year":"1973","unstructured":"Lakser, H., (1973): Principal congruences of pseudocomplemented semilattices,Proceedings of Am. Math. Society Vol.37 32?36.","journal-title":"Proceedings of Am. Math. Society"},{"key":"CR17","first-page":"1","volume":"22","author":"G.C. Moisil","year":"1935","unstructured":"Moisil, G.C., (1935): Recherches sur l'alg\u00e8bre de la logique,Annales scientifiques de l'Universit\u00e9 de Jassy 22 1?117.","journal-title":"Annales scientifiques de l'Universit\u00e9 de Jassy"},{"key":"CR18","volume-title":"An Algebraic Approach to Non-Classic Logic","author":"H. Rasiowa","year":"1974","unstructured":"Rasiowa, H., (1974):An Algebraic Approach to Non-Classic Logic, North Holland, Amsterdam."},{"key":"CR19","first-page":"341","volume-title":"Math. Logic in Latin America","author":"H.P. Sankappanavar","year":"1980","unstructured":"Sankappanavar, H.P., (1980): A Characterization of Principal Congruences of De Morgan Algebras and its Applications,Math. Logic in Latin America North-Holland, Amsterdam, 341?349."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1002\/malq.19850312502","volume":"31","author":"H.P. Sankappanavar","year":"1985","unstructured":"Sankappanavar, H.P., (1985): Distributive Lattices with a Dual Endomorphism,Zeitschr f. Math. Logik und Grundlagen d. Math. Bd. 31 385?392.","journal-title":"Zeitschr f. Math. Logik und Grundlagen d. Math. Bd."},{"key":"CR21","first-page":"697","volume":"33","author":"D. Schweigert","year":"1983","unstructured":"Schweigert, D. andSzymanska, M., (1983): On Distributive Correlation Lattices in Contributions to Lattice Theory,Coloquia Mathematica Societatis J\u00e1nos Bolyai 33 697?715.","journal-title":"Coloquia Mathematica Societatis J\u00e1nos Bolyai"},{"issue":"2","key":"CR22","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BF00370442","volume":"38","author":"A. Urquhart","year":"1979","unstructured":"Urquhart, A., (1979): Distributive Lattices with a Dual Homomorphic Operation,Studia Logica 38, 2 201?209.","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01061240.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01061240\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01061240","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T13:48:45Z","timestamp":1586094525000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01061240"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1995]]}},"alternative-id":["BF01061240"],"URL":"https:\/\/doi.org\/10.1007\/bf01061240","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}