The Lattice Theory of Post Algebras
From MaRDI portal
Publication:5607971
Cites work
- A representation of generalized Boolean rings
- Algebraic Topological Methods for the Synthesis of Switching Systems. I
- scientific article; zbMATH DE number 3050845 (Why is no real title available?)
- scientific article; zbMATH DE number 3063010 (Why is no real title available?)
- scientific article; zbMATH DE number 3075210 (Why is no real title available?)
- Lattices of continuous functions
- Post algebras and rings
- Post Algebras. I. Postulates and General Theory
- The Problem of Simplifying Truth Functions
Cited in
(43)- Multiple Boolean algebras and their application to fuzzy sets
- P-algebras, an abstraction from Post algebras
- Conditional and Post algebra expressions
- Post-like algebras and injective Stone algebras
- Finite equational bases for finite algebras in a congruence-distributive equational class
- \(pm\)-lattices
- Note sur la recherche des monomes maximaux en algèbre de Post
- On a class of functionally complete multi-valued logical calculi
- The lattice theory of r-ordered partitions
- Axiomatization and completeness of uncountably valued approximation logic
- Which data types have -complete initial algebra specifications?
- General reproductive solutions of Postian equations
- Horn sentences in Post algebras
- Natural deduction for Post's logics and their duals
- Boolean products of lattices
- A partially ordered extension of the integers
- On Postian algebraic equations
- Bitopological duality for algebras of Fitting's logic and natural duality extension
- A class of distributive lattices
- Su una classe equazionale di algebre
- Stonesche Verbände der Ordnung \(n\) und Postalgebren
- La dualité des algèbres de Post \(\theta\)-valentes
- All general solutions of Post equations
- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
- Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
- Functions and equations in classes of distributive lattices with pseudocomplementation
- Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
- Subsumptive general solutions and parametric general solutions of Post equations
- Post algebras in the work of Helena Rasiowa
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview
- On Stone Lattices
- $C(\beta\mathbb{N}\setminus\mathbb{N})$ among the Archimedean $\ell$-groups with strong unit
- Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories
- Beyond Boolean networks: new tools for the steady state analysis of multivalued networks
- On n-valued Post algebras and n-valued Post logics: twist-style representation and proof theory
- On elementary equivalence of real semigroups of preordered rings
- Invariant and dual-invariant subspaces of k-valued networks
- Resolution of algebraic systems of equations in the variety of cyclic Post algebras
- Expansions of semi-Heyting algebras. I: Discriminator varieties
- Łukasiewicz-Moisil relation algebras
- On the ranges of algebraic functions on lattices
- An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field
- Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability
This page was built for publication: The Lattice Theory of Post Algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5607971)
