{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T12:47:09Z","timestamp":1775825229647,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"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":[[1991]]},"DOI":"10.1007\/bf00370680","type":"journal-article","created":{"date-parts":[[2004,11,3]],"date-time":"2004-11-03T16:55:22Z","timestamp":1099500922000},"page":"391-419","source":"Crossref","is-referenced-by-count":34,"title":["Algebraic logic for classical conjunction and disjunction"],"prefix":"10.1007","volume":"50","author":[{"given":"Josep M.","family":"Font","sequence":"first","affiliation":[]},{"given":"Ventura","family":"Verd\ufffd","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Distributive lattices","author":"R. Balbes","year":"1974","unstructured":"R. Balbes and P. Dwinger, Distributive lattices, University of Missouri Press, Columbia (Missouri) 1974."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"N.D. Belnap (Jr.), A useful four-valued, in: J.M. Dunn and G. Epstein (eds.), Modern Uses of Multiple-Valued Logic (D. Reidel, 1977) 8?37.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF00370269","volume":"45","author":"W.J. Blok","year":"1986","unstructured":"W.J. Blok and D. Pigozzi, Protoalgebraic logics, Studia Logica 45 (1986), pp. 337?369.","journal-title":"Studia Logica"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1017\/S0022481200028917","volume":"53","author":"W.J. Blok","year":"1988","unstructured":"W.J. Blok and D. Pigozzi, Alfred Tarski's work on general metamathematics, The Journal of Symbolic Logic 53 (1988), pp. 36?50.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"W.J. blok and D. pigozzi, Algebraizable logics, Memoirs of the American Mathematical Society, 396 (1989).","DOI":"10.1090\/memo\/0396"},{"key":"CR6","volume-title":"Algebraic Logic. Proceedings of Budapest 1988 Conference","author":"W.J. Blok","year":"1990","unstructured":"W.J. Blok and D. Pigozzi, Local Deduction Theorems in Algebraic Logic, in: H. Andr\ufffdka, J.D. Monk and I. N\ufffdmeti, (eds.), Algebraic Logic. Proceedings of Budapest 1988 Conference (Colloquia Mathematica Societatis J\ufffdnos Bolyai, North-Holland, Amsterdam, 1990) to appear."},{"key":"CR7","unstructured":"W.J. blok and D. pigozzi, The Deduction Theorem in Algebraic Logic. Preprint, 1989."},{"key":"CR8","first-page":"3","volume":"8","author":"S.L. Bloom","year":"1977","unstructured":"S.L. Bloom, A note on ?-consequences, Reports on Mathematical Logic 8 (1977) pp. 3?9.","journal-title":"Reports on Mathematical Logic"},{"key":"CR9","first-page":"9","volume":"102","author":"D.J. Brown","year":"1973","unstructured":"D.J. Brown and R. Suszko, Abstract Logics, Dissertationes Mathematicae 102 (1973), pp. 9?42.","journal-title":"Dissertationes Mathematicae"},{"key":"CR10","volume-title":"Universal Algebra","author":"P.M. Cohn","year":"1965","unstructured":"P.M. Cohn, Universal Algebra. Harper and Row, New York 1965."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF00370426","volume":"44","author":"J. Czelakowski","year":"1985","unstructured":"J. Czelakowski and G. Malinowski, Key notions of Tarski's methodology of deductive systems, Studia Logica 44 (1985), pp. 321?351.","journal-title":"Studia Logica"},{"key":"CR12","first-page":"60","volume":"9","author":"K. Dyrda","year":"1980","unstructured":"K. Dyrda and T. Prucnal, On finitely based consequence determined by a distributive lattice. Bulletin of the Section of Logic, Polish Academy of Sciences 9 (1980), pp. 60?66.","journal-title":"Bulletin of the Section of Logic, Polish Academy of Sciences"},{"key":"CR13","first-page":"29","volume":"14","author":"W. Dzik","year":"1982","unstructured":"W. Dzik, On the content of the lattice of logics, part II, Reports on Mathematical Logic 14 (1982), pp. 29?47.","journal-title":"Reports on Mathematical Logic"},{"key":"CR14","volume-title":"A Mathematical Introduction to Logic","author":"H. B. Enderton","year":"1972","unstructured":"H. B. Enderton, A Mathematical Introduction to Logic. Academic Press, New York, 1972."},{"key":"CR15","unstructured":"J.M. font, F. guzm\ufffdn and V. verd\ufffd, Characterization of the reduced matrices for the ?, ?fragment of classical logic, Manuscript, to appear."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"J.M. font and M. Rius, A four-valued modal logic arising from Monteiro's last algebras. Proceedings of the 20th International Symposium on Multiple-Valued Logic (Charlotte, 1990), pp. 85?92.","DOI":"10.1109\/ISMVL.1990.122601"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"J.M. Font and V. Verd\ufffd, Abstract characterization of a four-valued logic, in: Proceedings of the 18th International Symposium on Multiple-Valued Logic (Palma de Mallorca, 1988), pp. 389?396.","DOI":"10.1109\/ISMVL.1988.5200"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"1042","DOI":"10.2307\/2274764","volume":"54","author":"J.M. Font","year":"1989","unstructured":"J.M. Font and V. Verd\ufffd, A first approach to abstract modal logics, The Journal of Symbolic Logic 54 (1989) pp. 1042?1062.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR19","first-page":"79","volume":"18","author":"J.M. Font","year":"1989","unstructured":"J.M. Font and V. Verd\ufffd, On the logic of distributive lattices, Bulletin of the Section of Logic, Polish Academy of Sciences 18 (1989), pp. 79?86.","journal-title":"Bulletin of the Section of Logic, Polish Academy of Sciences"},{"key":"CR20","unstructured":"J.M. Font and V. Verd\ufffd, Algebraic study of Belnap's four-valued logic. Manuscript."},{"key":"CR21","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, Theoretical Computer Science 50 (1987), pp. 1?102.","journal-title":"Theoretical Computer Science"},{"key":"CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"G. Gr\ufffdtzer","year":"1979","unstructured":"G. Gr\ufffdtzer, Universal Algebra, 2nd Edition, Springer-Verlag, Berlin 1979.","edition":"2nd Edition"},{"key":"CR23","volume-title":"Lectures Notes in Mathematics, vol. 250","author":"B. J\ufffdnsson","year":"1970","unstructured":"B. J\ufffdnsson. Topics in Universal Algebra (Lectures Notes in Mathematics, vol. 250) Springer-Verlag, Berlin 1970."},{"key":"CR24","unstructured":"J. Lambek. Logics without structural rules: Another look at cut-elimnination, in: Proceedings of the Kleene Conference (Chaika 1990), to appear."},{"key":"CR25","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S1385-7258(58)50024-9","volume":"20","author":"J. ?o?","year":"1958","unstructured":"J. ?o? and R. Suszko. Remarks on sentential logics, Indagationes Mathematicae 20 (1958), pp. 177?183.","journal-title":"Indagationes Mathematicae"},{"key":"CR26","volume-title":"Elements of the Theory of Completeness in Prepositional Logic","author":"W. Pogorzelski","year":"1982","unstructured":"W. Pogorzelski and P. Wojtylak, Elements of the Theory of Completeness in Prepositional Logic, The Silesian University, Katowice 1982."},{"key":"CR27","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF00401653","volume":"40","author":"W. Rautenberg","year":"1981","unstructured":"W. Rautenberg. 2-element matrices, Studia Logica 40 (1981), pp. 315?353.","journal-title":"Studia Logica"},{"key":"CR28","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/978-94-009-7066-3_2","volume-title":"Handbook of Philosophical Logic, vol. I: Elements of Classical Logic","author":"G. Sundholm","year":"1983","unstructured":"G. Sundholm. Systems of Deduction, in: D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. I: Elements of Classical Logic (Reidel, Dordrecht 1983), pp. 133?188."},{"key":"CR29","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/978-94-009-5203-4_8","volume-title":"Handbook of Philosophical Logic, vol. III: Alternatives to Classical Logic","author":"G. Sundholm","year":"1986","unstructured":"G. Sundholm. Proof Theory and meaning, in: D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. III: Alternatives to Classical Logic (Reidel, Dordrecht 1986), pp. 471?506."},{"key":"CR30","first-page":"22","volume":"23","author":"A. Tarski","year":"1930","unstructured":"A. Tarski. \ufffdber einige fundamentale Begriffe der Metamathematik, Comptes Rendus Soci\ufffdt\ufffd Sciences et Lettres Varsovie, Cl. III, 23 (1930), pp. 22?29.","journal-title":"Comptes Rendus Soci\ufffdt\ufffd Sciences et Lettres Varsovie, Cl. III"},{"key":"CR31","unstructured":"A. Torrens and V. Verd\ufffd. Abstract ?ukasiewicz Logics, Manuscript."},{"key":"CR32","first-page":"97","volume":"3","author":"V. Verd\ufffd","year":"1979","unstructured":"V. Verd\ufffd, Distributive and Boolean logics, (in Catalan) Stochastica 3 (1979) pp. 97?108.","journal-title":"Stochastica"},{"key":"CR33","unstructured":"V. Verd\ufffd, Algebraic logic for the ^, ?, ? -fragment of the intuitionistic prepositional calculus. Manuscript."},{"key":"CR34","volume-title":"Lectures on Propositional Calculi","author":"R. W\ufffdjcicki","year":"1984","unstructured":"R. W\ufffdjcicki. Lectures on Propositional Calculi, Ossolineum, Wroclaw 1984."},{"key":"CR35","volume-title":"Synthese Library, vol. 199","author":"R. W\ufffdjcicki","year":"1988","unstructured":"R. W\ufffdjcicki. Theory of Logical Calculi. Basic Theory of Consequence Operations (Synthese Library, vol. 199) Reidel, Dordrecht 1988."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370680.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370680\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370680","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T16:48:50Z","timestamp":1734626930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370680"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"references-count":35,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1991]]}},"alternative-id":["BF00370680"],"URL":"https:\/\/doi.org\/10.1007\/bf00370680","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}