Author:
Coniglio Marcelo E.,Figallo-Orellano Aldo
Publisher
Springer International Publishing
Reference31 articles.
1. Avron, A., & Lev, I. (2001). Canonical propositional Gentzen-type systems. In: R. Gore, A. Leitsch, & T. Nipkow (Eds.), Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR 2001), LNAI (Vol. 2083, pp. 529–544). Springer.
2. Avron, A. (2007). Non-deterministic semantics for logics with a consistency operator. Journal of Approximate Reasoning, 45, 271–287.
3. Birkhoff, G. (1935). On the structure of abstract algebras. Proceedings of the Cambridge Philosophical Society, 31, 433–454.
4. Birkhoff, G. (1944). Subdirect unions in universal algebra. Bulletin of the American Mathematical Society, 50(10), 764–768.
5. Blok, W. J., & Pigozzi, D. (1989). Algebraizable logics. In Memoirs of the American mathematical society (Vol. 77(396)). American Mathematical Society, Providence, USA.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献