Topological representations of Post algebras of order \(\omega ^ +\) and open theories based on \(\omega ^ +\)-valued Post logic

DOI10.1007/BF00370427zbMath0615.03007MaRDI QIDQ1820764

Helena Rasiowa

Publication date: 1985

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

zbMATH Keywords

representation theoremPost algebras\(\omega ^ +\)-valued predicate calculiLindenbaum-Tarski algebras of elementary theoriesPost fieldsPost spacestopological characterization of open theories

Mathematics Subject Classification ID

Many-valued logic (03B50) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (5)

Subalgebras and homomorphisms of semi-Post algebras ⋮ Approximating sets with equivalence relations ⋮ Post Algebras in the Work of Helena Rasiowa ⋮ Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability ⋮ Algebraization of quantifier logics, an introductory overview

Cites Work

• An algebraic approach to non-classical logics
• Aximos and some properties of Post algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Topological representations of Post algebras of order \(\omega ^ +\) and open theories based on \(\omega ^ +\)-valued Post logic