Logic with truth values in A linearly ordered heyting algebra

DOI10.2307/2270905zbMath0181.29904OpenAlexW1970249071MaRDI QIDQ5571686

Alfred Horn

Publication date: 1969

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270905

zbMATH Keywords

algebraic logic, model theory

Related Items

THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES, First-order Gödel logics, Prelinear algebras in relatively regular quasivarieties, Ordered sets R and Q as bases of Kripke models, Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985, Fuzzy Time in Linear Temporal Logic, One-variable fragments of intermediate logics over linear frames, A characterization of Stone and linear Heyting algebras, Prelinearity in (quasi-)Nelson logic, The variety of modal weak Gödel algebras, Involutive symmetric Gödel spaces, their algebraic duals and logic, A note on strong axiomatization of Gödel justification logic, Gödel spaces and perfect MV-algebras, A triangular norm-based fuzzy predicate logic, Subalgebra lattices of mono-unary algebras, Unnamed Item, Decidability of some intuitionistic predicate theories, On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras, On the direct decomposability of pseudo-t-norms, t-norms and implication operators on product lattices, Decidability problem for finite Heyting algebras, Density elimination, On products of posets and coproducts of KM-algebras, Topological spaces of monadic MV-algebras, Gödel logics with monotone operators, Standard Gödel modal logics, P-algebras, an abstraction from Post algebras, Post-like algebras and injective Stone algebras, Decision methods for linearly ordered Heyting algebras, Mixed-valued predicate calculi, Axiomatization of crisp Gödel modal logic, Computing coproducts of finitely presented Gödel algebras, Equational axioms for classes of Heyting algebras, XI Latin American Symposium on Mathematical Logic, Fuzzy propositional logic. Algebraic approach, Canonicity in subvarieties of BL-algebras, Prelinear Hilbert algebras, On prelinear Hilbert algebras with successor, The lattice of global sections of sheaves of chains over Boolean spaces, De Finetti's no-Dutch-book criterion for Gödel logic, Constructing illoyal algebra-valued models of set theory, Continuous Fraïssé conjecture, Data types over multiple-valued logics, Open Partitions and Probability Assignments in Gödel Logic, Expansions of semi-Heyting algebras. I: Discriminator varieties, Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras, Representations for logics and algebras related to revised drastic product t-norm, Pro-finite MV-spaces, Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras, Semi-Heyting Algebras and Identities of Associative Type, \(L\)-algebras in logic, algebra, geometry, and topology, Completeness theorems for some intermediate predicate calculi, Algebraic structures in fuzzy logic

Cites Work

• The normal completion of a subset of a complete lattice and lattices of continuous functions