Linked bibliography for the SEP article "Propositional Consequence Relations and Algebraic 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.
- Babyonyshev, S., 2003, “Strongly Fregean logics”, Reports on Mathematical Logic, 37: 59–77. (Scholar)
- Blackburn, P., J. van Benthem, and F. Wolter (eds.), 2006, Handbook of Modal Logic, Amsterdam: Elsevier. (Scholar)
- Blok, W., and Hoogland, E., 2006, “The Beth property in algebraic logic”, Studia Logica, 83 (Special Issue in memory of Willem Johannes Blok): 49–90. (Scholar)
- Blok, W., and Jónsson, B., 2006, “Equivalence of consequence operations”, Studia Logica, 83: 91–110. (Scholar)
- Blok, W., and Pigozzi, D., 1986, “Protoalgebraic logics”, Studia Logica, 45: 337–369. (Scholar)
- Blok, W., and Pigozzi, D., 1989, Algebraizable logics, (Mem. Amer. Math. Soc., Volume 396), Providence: A.M.S. (Scholar)
- Blok, W., and Pigozzi, D., “Local deduction theorems in algebraic logic”, in Algebraic Logic (Colloq. Math. Soc. János Bolyai: Volume 54), H. Andréka, J.D. Monk, and I. Németi (eds.), Amsterdam: North Holland, 75–109. (Scholar)
- Blok, W., and Pigozzi, D., “Algebraic semantics for universal Horn logic without equality”, in Universal Algebra and Quasigroup Theory, A. Romanowska and J.D.H. Smith (eds.). Berlin: Heldermann, 1–56. (Scholar)
- Bloom, S.L., 1975, “Some theorems on structural consequence operations”, Studia Logica, 34: 1–9. (Scholar)
- Brown, D.J., and Suszko, R., 1973, “Abstract logics”, Dissertationes Mathematicae Rozprawy Mat., 102: 9–42. (Scholar)
- Caleiro, C., Gonçalves, R., Martins, M., 2009, “Behavioral algebraization of logics”, Studia Logica, 91: 63–111. (Scholar)
- Celani, S., and Jansana, R., 2003, “A closer look at some subintuitionistic logics”, Notre Dame Journal of Formal Logic, 42: 225–255.
- Celani, S., and Jansana, R., 2005, “Bounded distributive lattices with strict implication”, Mathematical Logic Quarterly, 51: 219–246. (Scholar)
- Cintula, P., and Noguera, C., 2010 “ Implicational (semilinear) logics: a new hierarchy”, Archive for mathematical Logic, 49: 417–446. (Scholar)
- Czelakowski, J., 1980, “Reduced products of logical matrices”, Studia Logica, 39: 19–43. (Scholar)
- Czelakowski, J., 1981, “Equivalential logics, I and II”, Studia Logica, 40: 227–236 and 355–372. (Scholar)
- Czelakowski, J., 2001, Protoalgebraic Logics (Trends in Logic, Studia Logica Library, Volume 10), Dordrecht: Kluwer Academic Publishers. (Scholar)
- Czelakowski, J., 2003, “The Suszko operator. Part I”, Studia Logica, 74: 181–231. (Scholar)
- Czelakowski, J., and Jansana, R., 2000, “Weakly algebraizable logics”, The Journal of Symbolic Logic, 65: 641–668. (Scholar)
- Czelakowski, J., and Pigozzi, D., 2004a, “Fregean logics”, Annals of Pure and Applied Logic, 127: 17–76. (Scholar)
- Czelakowski, J., and Pigozzi, D., 2004b, “Fregean logics with the multiterm deduction theorem and their algebraization”, Studia Logica, 78: 171–212. (Scholar)
- Dośen, K., and P. Schroeder-Heister (eds.), 1993, Substructural Logics (Studies in Logic and Computation: Volume 2), Oxford: Oxford University Press. (Scholar)
- Dunn, M., 1995, “Positive Modal Logic”, Studia Logica, 55: 301–317. (Scholar)
- Dunn, J.M. and Hardegree, G.M., 2001, Algebraic methods in philosophical logic (Oxford Logic Guides, Oxford Science Publications, Volume 41), New York: Oxford University Press. (Scholar)
- Font, J.M., 1997, “Belnap's four-valued logic and De Morgan lattices”, Logic Journal of the I.G.P.L, 5: 413–440. (Scholar)
- Font, J.M. and Jansana, R., 1996 A general algebraic semantics for sentential logics (Lecture Notes in Logic, Volume 7), Berlin: Springer-Verlag. (Currently distributed by the Association for Symbolic Logic.)
- Font, J.M., Jansana, R. and Pigozzi, D. 2003, “A Survey of Abstract Algebraic Logic”, Studia Logica, 74 (Special Issue on Abstract Algebraic Logic — Part II): 13–97. (Scholar)
- Font, J.M. and Rodríguez, G., 1990, “Note on algebraic models for relevance logic”, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 36: 535–540. (Scholar)
- Font, J.M. and Rodríguez, G., 1994, “Algebraic study of two deductive systems of relevance logic”, Notre Dame Journal of Formal Logic, 35: 369–397. (Scholar)
- Font, J.M., and Verdú, V., 1991, “Algebraic logic for classical conjunction and disjunction”, Studia Logica, 65 (Special Issue on Abstract Algebraic Logic): 391–419. (Scholar)
- Galatos, N., Tsinakis, C., 2009, “Equivalence of consequence relations: an order-theoretic and categorical perspective”, The Journal of Symbolic Logic, 74: 780–810 (Scholar)
- Gil-Férez, J., 2006, “Multi-term pi-institutions and their equivalence”, Mathematical Logic Quarterly, 52: 505–526. (Scholar)
- Gil-Férez, J., 2011, “Representations of structural closure operators”, Archive for Mathematical Logic, forthcoming. (Scholar)
- Herrmann, B., 1996, “Equivalential and algebraizable logics”, Studia Logica, 57: 419–436. (Scholar)
- Herrmann, B., 1997, “Characterizing equivalential and algebraizable logics by the Leibniz operator”, Studia Logica, 58: 305–323. (Scholar)
- Hoogland, E., 2000, “Algebraic characterizations of various Beth definability properties”, Studia Logica, 65 (Special Issue on Abstract Algebraic Logic. Part I): 91–112. (Scholar)
- Humberstone, LL., 2005, “Logical Discrimination”, in J.-Y. Béziau (ed.), Logica Universalis, Basel: Birkhäuser. (Scholar)
- Jansana, R., 2002, “Full models for positive modal logic”, Mathematical Logic Quarterly, 48: 427–445. (Scholar)
- Jansana, R., 2005, “Selfextensional logics with implication”, in J.-Y. Béziau (ed.), Logica Universalis, Basel: Birkhäuser. (Scholar)
- Jansana, R., 2006, “Selfextensional logics with conjunction”, Studia Logica, 84: 63–104. (Scholar)
- Jansana, R. and Palmigiano, A., 2006, “Referential algebras: duality and applications”, Reports on Mathematical Logic, 41: 63–93. (Scholar)
- Koslow, A., 1992, A structuralist approach to logic, Cambridge: Cambridge University Press.
- Kracht, M., 2006, “Modal Consequence Relations”, in P. Blackburn, J. van Benthem, and F. Wolter (eds.) 2006, 497–549. (Scholar)
- Łós, J., 1949, O matrycach logicznych, Ser. B. Prace Wrocławskiego Towarzystwa Naukowege (Travaux de la Société et des Lettres de Wrocław), Volume 19.
- Łós, J., and Suszko, R., 1958, “Remarks on sentential logics”, Indagationes Mathenmaticae, 20: 177–183. (Scholar)
- Łukasiewicz, J., and Tarski, A., 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)
- 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: 117–134. (Scholar)
- McKinsey, J. C.C., and Tarski, A., 1948, “Some theorems about the sentential calculi of Lewis and Heyting”, The Journal of Symbolic Logic, 13: 1–15. (Scholar)
- Pigozzi, D., 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, T., and Wroński, A., 1974, “An algebraic characterization of the notion of structural completeness”, Bulletin of the Section of Logic, 3: 30–33. (Scholar)
- Raftery, J., 2006, “Correspondence between Gentzen and Hilbert systems” , The Journal of Symbolic Logic, 71: 903–957 (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)
- Suszko, R., 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, A., 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)
- Tarski, A. 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)
- Tarski, A., 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)
- Tarski, A., 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)
- Tarski, A., 1983, Logic, Semantics, Metamathematics. Papers from 1923 to 1938, J. Corcoran (ed.), Indianapolis: Hackett, second edition. (Scholar)
- Troelstra, A.S., 1992, Lecture Notes in Linear Logic (CSLI Lecture Notes 29), Stanford: CSLI Publications. (Scholar)
- Visser, A., 1981, “A Propositional Logic with Explicit Fixed Points”, Studia Logica, XL: 155–175. (Scholar)
- Voutsadakis, G., 2002, “Categorical Abstract Algebraic Logic: Algebraizable Institutions”, Applied Categorical Structures 10: 531–568. (Scholar)
- Wójcicki, R., 1969, “Logical matrices strongly adequate for structural sentential calculi”, Bulletin de l'Académie Polonaise des Sciences, Classe III XVII: 333–335. (Scholar)
- Wójcicki, R., 1973, “Matrix approach in the methodology of sentential calculi”, Studia Logica, 32: 7–37. (Scholar)
- Wójcicki, R., 1988, Theory of logical calculi. Basic theory of consequence operations (Synthese Library, Volum 199), Dordrecht: D. Reidel. (Scholar)
Generated Mon Apr 29 20:46:37 2013
