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.
Hilary A. PriestleyPublished in: Stud Logica (2021)
Keyphrases
- set theory
- boolean algebra
- formal theory
- computer science
- lecture notes
- theoretical framework
- commonsense reasoning
- partial order
- computer algebra
- logic programming
- probability theory
- proof theoretic
- linear programming
- deductive reasoning
- asynchronous circuits
- formal logic
- spatial reasoning
- machine intelligence
- modal logic
- linked data
- artificial intelligence
- distributive lattices
- proof theory
- computational linguistics
- lecture notes in artificial intelligence
- first order logic
- signal processing