JOURNAL ARTICLE
Characteristic Formulas of Partial Heyting Algebras
Year: 2012 Journal: Logica Universalis Vol: 7 (2)Pages: 167-193 Publisher: Birkhäuser
Keywords:
Heyting algebra Mathematics Subalgebra Pure mathematics Section (typography) Set (abstract data type) Algebra over a field Finite set Mathematical analysis Computer science
Metrics
5
Cited By
0.33
FWCI (Field Weighted Citation Impact)
39
Refs
0.59
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Advanced Algebra and Logic
Physical Sciences → Computer Science → Computational Theory and Mathematics
semigroups and automata theory
Physical Sciences → Computer Science → Computational Theory and Mathematics
Algebraic structures and combinatorial models
Physical Sciences → Mathematics → Geometry and Topology
Related Documents
JOURNAL ARTICLE
Locally Finite Reducts of Heyting Algebras and Canonical Formulas
Guram BezhanishviliNick Bezhanishvili
Journal: Notre Dame Journal of Formal Logic Year: 2016 Vol: 58 (1)
BOOK-CHAPTER
Heyting Algebras
Silvio GhilardiMarek Zawadowski
Trends in logic Year: 2002 Pages: 73-113
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