Filter dates
Overview
- artificial systems
- proof theoretic
- consistency checking
- deductive reasoning
- boolean algebra
Publications
Leo Esakia, Heyting Algebras: Duality Theory, Guram Bezhanishvili and Wesley A. Holliday, (eds.), Springer International Publishing, Series: Trends in Logic, Vol. 50, 2019, pp. 95+xv.
Stud Logica
Checking Admissibility Using Natural Dualities.
ACM Trans. Comput. Log.
Bohr Compactifications of Algebras and Structures.
Appl. Categorical Struct.
Natural Dualities Through Product Representations: Bilattices and Beyond.
Stud Logica