POWER STRUCTURES AND LOGIC
From MaRDI portal
Publication:4724631
DOI10.1080/16073606.1986.9632109zbMath0616.03042OpenAlexW2003726533MaRDI QIDQ4724631
Publication date: 1986
Published in: Quaestiones Mathematicae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/16073606.1986.9632109
Boolean algebraentailmentpower algebrapower structuremany-valued propositional calculuspower ordering
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Many-valued logic (03B50) Structure theory of Boolean algebras (06E05) Ordered structures (06F99)
Related Items (5)
Angellic content ⋮ A comment on relevant truth table logic ⋮ A theory of truthmaker content. I: Conjunction, disjunction and negation ⋮ R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs ⋮ Power structures
Cites Work
- Homomorphisms, homomorphic relations and power algebras
- Intuitive semantics for first-degree entailments and `coupled trees'
- Permanence of identities on algebras
- The validity of equations of complex algebras
- SECOND-ORDER BOOLEAN ALGEBRAS
- On varieties closed under the construction of power algebras
- The Semantics of First Degree Entailment
- Boolean Algebras with Operators. Part I
This page was built for publication: POWER STRUCTURES AND LOGIC