JOURNAL ARTICLE
Decidability of the Projective Beth Property in Varieties of Heyting Algebras
Year: 2001 Journal: Algebra and Logic Vol: 40 (3)Pages: 159-165 Publisher: Springer Nature
Keywords:
Mathematics Decidability Property (philosophy) Class (philosophy) Projective test Pure mathematics Base (topology) Algebra over a field Discrete mathematics Computer science Philosophy Mathematical analysis
Metrics
21
Cited By
1.33
FWCI (Field Weighted Citation Impact)
9
Refs
0.78
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
Decidability problem for finite Heyting algebras
Katarzyna IdziakPaweł M. Idziak
Journal: Journal of Symbolic Logic Year: 1988 Vol: 53 (3)Pages: 729-735
JOURNAL ARTICLE
Injective and projective Heyting algebras
Journal: Transactions of the American Mathematical Society Year: 1970 Vol: 148 (2)Pages: 549-559
JOURNAL ARTICLE
Injective and Projective Heyting Algebras
Journal: Transactions of the American Mathematical Society Year: 1970 Vol: 148 (2)Pages: 549-549
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