JOURNAL ARTICLE
Locally finite varieties of Heyting algebras
Guram BezhanishviliRevaz Grigolia
Year: 2005 Journal: Algebra Universalis Vol: 54 (4)Pages: 465-473 Publisher: Birkhäuser
Keywords:
Variety (cybernetics) Mathematics Heyting algebra Finitely-generated abelian group Pure mathematics Combinatorics Discrete mathematics Algebra over a field
Metrics
13
Cited By
1.05
FWCI (Field Weighted Citation Impact)
7
Refs
0.74
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
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
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)
JOURNAL ARTICLE
STRICTLY n-FINITE VARIETIES OF HEYTING ALGEBRAS
Tapani HyttinenMiguel MartinsTommaso MoraschiniDavide Emilio Quadrellaro
Journal: Journal of Symbolic Logic Year: 2024 Pages: 1-16
JOURNAL ARTICLE
Unification, finite duality and projectivity in varieties of Heyting algebras
Journal: Annals of Pure and Applied Logic Year: 2003 Vol: 127 (1-3)Pages: 99-115
JOURNAL ARTICLE
Isomorphism Universal Varieties of Heyting Algebras
M. E. AdamsVácłav KoubekJ. Sichler
Journal: Transactions of the American Mathematical Society Year: 1990 Vol: 319 (1)Pages: 309-309
JOURNAL ARTICLE
On decidable varieties of Heyting algebras
Journal: Journal of Symbolic Logic Year: 1992 Vol: 57 (3)Pages: 988-991