BOOK-CHAPTER
Heyting Algebras
Silvio GhilardiMarek Zawadowski
Year: 2002 Trends in logic Pages: 73-113 Publisher: Springer Nature (Netherlands)
Keywords:
Heyting algebra Mathematics Intuitionistic logic Intermediate logic Sheaf Propositional calculus Propositional variable Pure mathematics Discrete mathematics Algebra over a field Computer science Programming language
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
0.31
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Advanced Algebra and Logic
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Profinite Heyting Algebras and Profinite Completions of Heyting Algebras
Guram BezhanishviliPatrick J. Morandi
Journal: Georgian Mathematical Journal Year: 2009 Vol: 16 (1)Pages: 29-47