Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability

DOI10.1007/BF00370204zbMath0709.03048OpenAlexW2070853872MaRDI QIDQ920988

Helena Rasiowa, Nguyen Cat Ho

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370204

zbMATH Keywords

representation theoryidealfiltersgeneralization of Epstein's lemmaplain semi-Post algebra

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Post algebras (lattice-theoretic aspects) (06D25) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (10)

A partially ordered extension of the integers ⋮ Symmetrical Heyting algebras with a finite order type of operators ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ Post Algebras in the Work of Helena Rasiowa ⋮ Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents ⋮ \(LT\)-fuzzy sets ⋮ Heyting algebras with Boolean operators for rough sets and information retrieval applications ⋮ The Tableau Method for a Logical System Based on a Finite Poset ⋮ Extended hedge algebras and their application to fuzzy logic ⋮ Axiomatization and completeness of uncountably valued approximation logic

Cites Work

• Semi-Post algebras
• Subalgebras and homomorphisms of semi-Post algebras
• An algebraic approach to non-classical logics
• Topological representations of Post algebras of order \(\omega ^ +\) and open theories based on \(\omega ^ +\)-valued Post logic
• Poet algebras and pseudo-Post algebras
• The Lattice Theory of Post Algebras
• A proof of the completeness theorem of Grödel
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability