Author:
Cintula Petr,Noguera Carles
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference28 articles.
1. Baaz, Matthias, Infinite-valued Gödel logic with 0-1-projections and relativisations, in Petr Hájek, (ed.), Gödel'96: Logical Foundations of Mathematics, Computer Science, and Physics, vol. 6 of Lecture Notes in Logic, Springer-Verlag, Brno, 1996, pp. 23–33.
2. Blok, Willem J., and Don L. Pigozzi, Algebraizable Logics, vol. 396 of Memoirs of the American Mathematical Society, American Mathematical Society, Providence, RI, 1989. Freely downloadable from http://orion.math.iastate.edu/dpigozzi/ .
3. Blok, Willem J., and Don L. Pigozzi, Local deduction theorems in algebraic logic, in Algebraic logic (Budapest, 1988), vol. 54 of Colloq. Math. Soc. János Bolyai, North-Holland, Amsterdam, 1991, pp. 75–109.
4. Cintula Petr, Noguera Carles: Implicational (semilinear) logics I: A new hierarchy. Archive for Mathematical Logic 49(4), 417–446 (2010)
5. Czelakowski Janusz: Logical matrices, primitive satisfaction and finitely based logics. Studia Logica 42(1), 89–104 (1983)
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Gentle Introduction to the Leibniz Hierarchy;Outstanding Contributions to Logic;2024
2. Logics of upsets of De Morgan lattices;Mathematical Logic Quarterly;2023-07-31
3. INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS;The Journal of Symbolic Logic;2023-02-20
4. The algebraic significance of weak excluded middle laws;Mathematical Logic Quarterly;2022-01-29
5. A General Glivenko–Gödel Theorem for Nuclei;Electronic Proceedings in Theoretical Computer Science;2021-12-29