The logic of Peirce algebras

DOI10.1007/BF01049414zbMath0842.03015MaRDI QIDQ1909608

Maarten de Rijke

Publication date: 8 May 1996

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

modal logicknowledge representationrelation algebrasexpressive powerlogics of programsPeirce algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Other algebras related to logic (03G25)

Related Items (4)

The logic of Peirce algebras ⋮ Peirce's contributions to possible-worlds semantics ⋮ A system of dynamic modal logic ⋮ The Modal Multilogic of Geometry

Cites Work

• Unnamed Item
• Varieties of relation algebras
• The weakest prespecification
• Boolean modules
• Language in action
• Variable-free semantics for anaphora
• Peirce algebras
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
• The logic of Peirce algebras
• The representation of relational algebras
• Some Varieties Containing Relation Algebras
• A Modal Logic for Chopping Intervals
• Derivation rules as anti-axioms in modal logic
• Counting Objects

This page was built for publication: The logic of Peirce algebras