Linked bibliography for the SEP article "Algebraic Propositional Logic" by Ramon Jansana
This is an automatically generated and experimental page
If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.
This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.
- Albuquerque, Hugo, Josep Maria Font, and Ramon Jansana, 2016, “Compatibility operators in abstract algebraic logic”, The Journal of Symbolic Logic, 81(2): 417–462. doi:10.1017/jsl.2015.39 (Scholar)
- –––, 2017, “The strong version of a sentential logic”, Studia Logica, 105: 703–760. doi: 10.1007/s11225-017-9709-0 (Scholar)
- Albuquerque, Hugo, Josep Maria Font, Ramon Jansana and Tommaso Moraschini, 2018, “Assertional logics, truth-equational logics and the hierarchies of abstract algebraic logic”, in Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Outstanding Contributions to Logic: Volume 16), Janusz Czelakowski (ed.), Dordrecht: Springer: 53–79. doi: 10.1007/978-3-319-74772-9 (Scholar)
- Babyonyshev, Sergei V., 2003, “Strongly Fregean
logics”, Reports on Mathematical Logic, 37:
59–77.
[Babyonyshev 2003 available online] (Scholar)
- Blackburn, Patrick, Johan van Benthem, and Frank Wolter (eds.), 2006, Handbook of Modal Logic, Amsterdam: Elsevier. (Scholar)
- Blok, W.J. and Eva Hoogland, 2006, “The Beth property in algebraic logic”, Studia Logica (Special Issue in memory of Willem Johannes Blok), 83: 49–90. doi:10.1007/s11225-006-8298-0 (Scholar)
- Blok, W.J. and Bjarni Jónsson, 2006, “Equivalence of consequence operations”, Studia Logica, 83: 91–110. doi:10.1007/s11225-006-8299-z (Scholar)
- Blok, W.J. and Don Pigozzi, 1986, “Protoalgebraic logics”, Studia Logica, 45(4): 337–369. doi:10.1007/bf00370269 (Scholar)
- –––, 1989, Algebraizable logics, (Mem.
Amer. Math. Soc., Volume 396), Providence: A.M.S. (Scholar)
- –––, 1991, “Local deduction theorems in
algebraic logic”, in Algebraic Logic (Colloquia
Mathematica Societatis János Bolyai: Volume 54), H.
Andréka, J.D. Monk, and I. Németi (eds.), Amsterdam:
North Holland, 75–109. (Scholar)
- –––, 1992, “Algebraic semantics for
universal Horn logic without equality”, in Universal Algebra
and Quasigroup Theory, Anna B. Romanowska and Jonathan D.H. Smith
(eds.). Berlin: Heldermann, 1–56. (Scholar)
- Blok, W.J. and Jordi Rebagliato, 2003, “Algebraic semantics for deductive systems, ” Studia Logica, Special Issue on Abstract Algebraic Logic, Part II, 74(5): 153–180. doi:10.1023/a:1024626023417 (Scholar)
- Bloom, Stephen L., 1975, “Some theorems on structural consequence operations”, Studia Logica, 34(1): 1–9. doi:10.1007/bf02314419 (Scholar)
- Bou, Félix, Francesc Esteva, Josep Maria Font, Àngel
J. Gil, Lluís Godo, Antoni Torrens, and Ventura Verdú,
2009, “Logics preserving degrees of truth from varieties of
residuated lattices”, Journal of Logic and Computation,
19(6): 1031–1069. doi:10.1093/logcom/exp030 (Scholar)
- Brown, Donald J. and Roman Suszko, 1973, “Abstract
logics”, Dissertationes Mathematicae: Rozprawy
Matematyczne, 102: 9–42. (Scholar)
- Caleiro, Carlos, Ricardo Gonçalves, and Manuel Martins, 2009, “Behavioral algebraization of logics”, Studia Logica, 91(1): 63–111. doi:10.1007/s11225-009-9163-8 (Scholar)
- Celani, Sergio and Ramon Jansana, 2003, “A closer look at
some subintuitionistic logics”, Notre Dame Journal of Formal
Logic, 42(4): 225–255. doi:10.1305/ndjfl/1063372244
- –––, 2005, “Bounded distributive lattices with strict implication”, Mathematical Logic Quarterly, 51: 219–246. doi:10.1002/malq.200410022 (Scholar)
- Cintula, Petr and Carles Noguera, 2010 “Implicational (semilinear) logics I: a new hierarchy”, Archive for Mathematical Logic, 49(4): 417–446. doi:10.1007/s00153-010-0178-7 (Scholar)
- –––, 2016 “Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity”, Archive for Mathematical Logic, 55(3): 353–372. doi:10.1007/s00153-015-0452-9 (Scholar)
- –––, 2021 Logic and Implication. An Introduction to the General Algebraic Study of Non-classical Logics (Trends in Logic: Volume 51), Cham: Springer. (Scholar)
- Czelakowski, Janusz, 1980, “Reduced products of logical matrices”, Studia Logica, 39(1): 19–43. doi:10.1007/bf00373095 (Scholar)
- –––, 1981, “Equivalential logics, I and
II”, Studia Logica, 40(3): 227–236 and 40(4):
355–372. doi:10.1007/bf02584057 and doi:10.1007/BF00401654 (Scholar)
- –––, 2001, Protoalgebraic Logics (Trends in Logic, Studia Logica Library, Volume 10), Dordrecht: Kluwer Academic Publishers. (Scholar)
- –––, 2003, “The Suszko operator. Part I”, Studia Logica, 74(1): 181–231. doi:10.1023/a:1024678007488 (Scholar)
- Czelakowski, Janusz and Ramon Jansana, 2000, “Weakly algebraizable logics”, The Journal of Symbolic Logic, 65(2): 641–668. doi:10.2307/2586559 (Scholar)
- Czelakowski, Janusz and Don Pigozzi, 2004a, “Fregean logics”, Annals of Pure and Applied Logic, 127: 17–76. doi:10.1016/j.apal.2003.11.008 (Scholar)
- –––, 2004b, “Fregean logics with the multiterm deduction theorem and their algebraization”, Studia Logica, 78: 171–212. doi:10.1007/s11225-005-1212-3 (Scholar)
- Dunn, J. Michael, 1995, “Positive Modal Logic”, Studia Logica, 55(2): 301–317. doi:10.1007/bf01061239 (Scholar)
- Dunn, J. Michael and Gary M. Hardegree, 2001, Algebraic methods in philosophical logic (Oxford Logic Guides, Oxford Science Publications, Volume 41), New York: Oxford University Press. (Scholar)
- Font, Josep Maria, 1997, “Belnap’s four-valued logic
and De Morgan lattices”, Logic Journal of the I.G.P.L,
5: 413–440. (Scholar)
- –––, 2016, Abstract Algebraic Logic. An
Introductory Textbook, volume 60 of Studies in Logic,
London: College Publications. (Scholar)
- –––, 2022, “Abstract Algebraic
Logic.”, in Hiroakira Ono on Residuated Lattices and
Substructural Logics, Nikolaos Galatos and K. Terui (eds), series
Outstanding Contributions to Logic 23, Springer. 72pp. doi:
10.1007/978-3-030-76920-8 (Scholar)
- Font, Josep Maria and Ramon Jansana, 1996, A general algebraic
semantics for sentential logics (Lecture Notes in Logic: Volume
7), Dordrecht: Springer; 2nd revised edition, Cambridge: Cambridge
University Press, 2016 (for the Association for Symbolic Logic).
- Font, Josep Maria, Ramon Jansana, and Don Pigozzi 2003, “A Survey of Abstract Algebraic Logic”, Studia Logica, 74 (Special Issue on Abstract Algebraic Logic—Part II): 13–97. doi:10.1023/a:1024621922509 (Scholar)
- Font, Josep Maria and Gonzalo Rodríguez, 1990, “Note on algebraic models for relevance logic”, Mathematical Logic Quarterly, 36(6): 535–540. doi:10.1002/malq.19900360606 (Scholar)
- –––, 1994, “Algebraic study of two deductive systems of relevance logic”, Notre Dame Journal of Formal Logic, 35: 369–397. doi:10.1305/ndjfl/1040511344 (Scholar)
- Font, Josep Maria and V. Verdú, 1991, “Algebraic
logic for classical conjunction and disjunction”, Studia
Logica, 65 (Special Issue on Abstract Algebraic Logic):
391–419. doi:10.1007/bf01053070 (Scholar)
- Galatos, Nikolaos and Constantine Tsinakis, 2009, “Equivalence of consequence relations: an order-theoretic and categorical perspective”, The Journal of Symbolic Logic, 74(3): 780–810. doi:10.2178/jsl/1245158085 (Scholar)
- Galatos, Nikolaos and José Gil-Férez, 2017,
“Modules over quataloids: Applications to the isomorphism
problem in algebraic logic and \(\pi\)-institutions”,
Journal of Pure and Applied Algebra, 221(1): 1–24.
doi:10.1016/j.jpaa.2016.05.012 (Scholar)
- Gil-Férez, José, 2006, “Multi-term \(\pi\)-institutions and their equivalence”, Mathematical Logic Quarterly, 52(5): 505–526. doi:10.1002/malq.200610010 (Scholar)
- –––, 2011, “Representations of structural closure operators”, Archive for Mathematical Logic, 50:45–73. doi:10.1007/s00153-010-0201-z (Scholar)
- Herrmann, Bughard, 1996, “Equivalential and algebraizable logics”, Studia Logica, 57(2): 419–436. doi:10.1007/bf00370843 (Scholar)
- –––, 1997, “Characterizing equivalential and algebraizable logics by the Leibniz operator”, Studia Logica, 58(2): 305–323. doi:10.1023/a:1004979825733 (Scholar)
- Heyting, Arend, 1930, “Die formalen Reglen der
Intuitionionischen Logik” (in 3 parts), Sitzungsberichte der
preussischen Akademie von Wissenschaften, 42–56,
57–71, 158–169. (Scholar)
- Hoogland, Eva, 2000, “Algebraic characterizations of various Beth definability properties”, Studia Logica, 65 (Special Issue on Abstract Algebraic Logic. Part I): 91–112. doi:10.1023/a:1005295109904 (Scholar)
- Humberstone, Lloyd, 2005, “Logical Discrimination”, in
J.-Y. Béziau (ed.), Logica Universalis, Basel:
Birkhäuser. doi:10.1007/3-7643-7304-0_12 (Scholar)
- Jansana, Ramon, 2002, “Full models for positive modal logic”, Mathematical Logic Quarterly, 48(3): 427–445. doi:10.1002/1521-3870(200204)48:3<427::AID-MALQ427>3.0.CO;2-T (Scholar)
- –––, 2005, “Selfextensional logics with
implication”, in J.-Y. Béziau (ed.), Logica
Universalis, Basel: Birkhäuser.
doi:10.1007/3-7643-7304-0_4 (Scholar)
- –––, 2006, “Selfextensional logics with conjunction”, Studia Logica, 84(1): 63–104. doi:10.1007/s11225-006-9003-z (Scholar)
- Jansana, Ramon and Alessandra Palmigiano, 2006, “Referential
algebras: duality and applications”, Reports on Mathematical
Logic (Special issue in memory of Willem Blok), 41: 63–93.
[Jansana and Palmigiano 2006 available online] (Scholar)
- Koslow, Arnold, 1992, A structuralist theory of logic,
Cambridge: Cambridge University Press.
doi:10.1017/CBO9780511609206
- Kracht, Marcus, 2006, “Modal Consequence Relations”,
in Blackburn, van Benthem, and Wolter 2006: 497–549. (Scholar)
- Lávička, Tomáš, Tommaso Moraschini and James
Raftery, 2021, “The algebraic significance of weak excluded
middle laws”, Mathematical Logic Quarterly, 68(1):
79–94. (Scholar)
- Lewis, Clarence Irving, 1918, A Survey of Symbolic Logic, Berkeley: University of California Press; second edition, New York Dover Publications, 1960. (Scholar)
- Lewis, Clarence Irving and Langford, Cooper H., 1932 Symbolic Logic, second edition, New York: Dover Publications, 1959. (Scholar)
- Łoś, Jerzy, 1949, O matrycach logicznych, Ser.
B. Prace Wrocławskiego Towarzystwa Naukowege (Travaux de la
Société et des Lettres de Wrocław), Volume 19.
- Łoś, Jerzy and Roman Suszko, 1958, “Remarks on
sentential logics”, Indagationes Mathematicae
(Proceedings), 61: 177–183.
doi:10.1016/s1385-7258(58)50024-9 (Scholar)
- Łukasiewicz, J. and Alfred Tarski, 1930,
“Untersuchungen über den Aussagenkalkül”,
Comptes Rendus des Séances de la Société des
Sciences et des Lettres de Varsovie, Cl.III 23: 30–50.
English translation in Tarski 1983: “Investigations into the
sentential calculus”. (Scholar)
- Malinowski, Jacek, 1990, “The deduction theorem for quantum logic, some negative results”, The Journal of Symbolic Logic, 55(2): 615–625. doi:10.2307/2274651 (Scholar)
- McKinsey, J.C.C., 1941, “A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology”, The Journal of Symbolic Logic, 6(4): 117–134. doi:10.2307/2267105 (Scholar)
- McKinsey, J.C.C. and Alfred Tarski, 1948, “Some theorems about the sentential calculi of Lewis and Heyting”, The Journal of Symbolic Logic, 13(1): 1–15. doi:10.2307/2268135 (Scholar)
- Moraschini, T., forthcoming, “On equational completeness theorems ”, The Journal of Symbolic Logic, first online 13 September 2021. doi:10.1017/jsl.2021.67 (Scholar)
- Pigozzi, Don, 1991, “Fregean algebraic logic”, in H.
Andréka, J.D. Monk, and I. Németi (eds.), Algebraic
Logic (Colloq. Math. Soc. János Bolyai, Volume 54),
Amsterdam: North-Holland, 473-502. (Scholar)
- Prucnal, Tadeusz and Andrzej Wroński, 1974, “An algebraic characterization of the notion of structural completeness”, Bulletin of the Section of Logic, 3(1): 30–33. (Scholar)
- Raftery, James G., 2006a, “Correspondence between Gentzen and Hilbert systems”, The Journal of Symbolic Logic, 71(3): 903–957. doi:10.2178/jsl/1154698583 (Scholar)
- –––, 2006b, “On the equational definability of truth predicates”, Reports on Mathematical Logic (Special issue in memory of Willem Blok), 41: 95–149. [Raftery 2006b available online] (Scholar)
- –––, 2011, “Contextual deduction theorems”, Studia Logica (Special issue in honor of Ryszard Wójcicki), 99: 279–319. doi:10.1007/s11225-011-9353-z (Scholar)
- –––, 2013, “Inconsistency lemmas in algebraic logic”, Mathematical Logic Quarterly, 59(6): 393–406. doi:10.1002/malq.201200020 (Scholar)
- –––, 2016, “Admissible rules and the Leibniz Hierarchy”, Notre Dame Journal of Formal Logic, 57: 569–606. (Scholar)
- Rasiowa, H., 1974, An algebraic approach to non-classical logics (Studies in Logic and the Foundations of Mathematics, Volume 78), Amsterdam: North-Holland. (Scholar)
- Schroeder-Heister, Peter and Kosta Dośen (eds), 1993, Substructural Logics (Studies in Logic and Computation: Volume 2), Oxford: Oxford University Press. (Scholar)
- Suszko, Roman, 1977, “Congruences in sentential
calculus”, in A report from the Autumn School of Logic
(Miedzygorze, Poland, November 21–29, 1977). Mimeographed notes,
edited and compiled by J. Zygmunt and G. Malinowski. Restricted
distribution. (Scholar)
- Tarski, Alfred, 1930a, “Über einige fundamentale
Begriffe der Metamathematik”, C. R. Soc. Sci. Lettr.
Varsovie, Cl. III 23: 22–29. English translation in Tarski
1983: “On some fundamental concepts of metamathematics”,
30–37. (Scholar)
- –––, 1930b, “Fundamentale Begriffe der
Methodologie der deduktiven Wissenschaften I”, Monatfshefte
für Mathematik und Physik, 37: 361–404. English
translation in Tarski 1983: “Fundamental concepts of the
methodology of the deductive sciences”, 60–109. (Scholar)
- –––, 1935, “Grundzüge der
Systemenkalküls. Erster Teil”, Fundamenta
Mathematicae, 25: 503–526, 1935. English translation in
Tarski 1983: “Foundations of the calculus of systems”,
342–383. (Scholar)
- –––, 1936, “Grundzüge der Systemenkalküls. Zweiter Teil”, Fundamenta Mathematicae, 26: 283–301, 1936. English translation in Tarski 1983: “Foundations of the calculus of systems”, 342–383. (Scholar)
- –––, 1983, Logic, Semantics, Metamathematics. Papers from 1923 to 1938, J. Corcoran (ed.), Indianapolis: Hackett, second edition. (Scholar)
- Torrens, Antoni, 2008, “An Approach to Glivenko’s Theorems in Algebraizable Logics”, Studia Logica, 88(3): 349–383. doi:10.1007/s11225-008-9109-6 (Scholar)
- Troelstra, A.S., 1992, Lectures on Linear Logic (CSLI Lecture Notes 29), Stanford, CA: CSLI Publications. (Scholar)
- Visser, Albert, 1981, “A Propositional Logic with Explicit Fixed Points”, Studia Logica, 40(2): 155–175. A Propositional Logic with Explicit Fixed Points (Scholar)
- Voutsadakis, George, 2002, “Categorical Abstract Algebraic
Logic: Algebraizable Institutions”, Applied Categorical
Structures, 10: 531–568. doi:10.1023/a:1020990419514 (Scholar)
- Wójcicki, Ryszard, 1969, “Logical matrices strongly
adequate for structural sentential calculi”, Bulletin de
l’Académie Polonaise des Sciences, Classe III XVII:
333–335. (Scholar)
- –––, 1973, “Matrix approach in the methodology of sentential calculi”, Studia Logica, 32(1): 7–37. doi:10.1007/bf02123806 (Scholar)
- –––, 1988, Theory of logical calculi. Basic theory of consequence operations (Synthese Library, Volum 199), Dordrecht: D. Reidel. (Scholar)