Funder
H2020 European Research Council
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference35 articles.
1. Aguzzoli, S., An asymptotically tight bound on countermodels for Łukasiewicz logic, Internat. J. Approx. Reason 43:76–89, 2006.
2. Aguzzoli, S., M. Bianchi, and V. Marra, A Temporal Semantics for Basic Logic, Studia Logica 92:147–162, 2009.
3. Belluce, L.P., A. Di Nola, and B. Gerla, The logic of perfect MV-algebras, in Proceedings of EUSFLAT Conf., 2:195–199, 2007.
4. Blok, W.J., and M.A. Ferreirim, On the structure of hoops, Algebra Universalis 43:233–257, 2000.
5. Blok, W., and D. Pigozzi, Algebraizable logics, Mem. Amer. Math. Soc. 77, 1989.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Transfer theorems for finitely subdirectly irreducible algebras;Journal of Algebra;2024-02
2. A Kripke Semantics for Hajek's BL;Electronic Proceedings in Theoretical Computer Science;2023-08-07
3. Some Modal and Temporal Translations of Generalized Basic Logic;Relational and Algebraic Methods in Computer Science;2021