Relational and Kleene-Algebraic Methods in Computer Science

DOI10.1007/B98117MaRDI QIDQ5712437zbMATH OpenOpenAlexFDO

Authors Renate A. Schmidt, Ewa Orłowska, Ullrich Hustadt

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Recommendations

• The logic of Peirce algebras
• Peirce algebras
• scientific article; zbMATH DE number 1735911
• Peirce Algebras and Boolean Modules
• ON PROOFS IN SYSTEM P
• scientific article; zbMATH DE number 1303432
• scientific article; zbMATH DE number 1114027
• A proof system for contact relation algebras
• Varieties of algebraic systems and propositional calculi
• Proof systems for lattice theory

Cited in

(5)

• Proof analysis of Peirce's alpha system of graphs
• First-order resolution methods for modal logics
• Peirce's sequent proofs of distributivity
• Peirce and Proof: A View from the Trees
• Tableaux and dual tableaux: transformation of proofs

This page was built for publication: Relational and Kleene-Algebraic Methods in Computer Science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5712437)