Orthogonality and Boolean Algebras for Deduction Modulo
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1164013
- On the orthogonalization of arbitrary Boolean formulae
- Orthomodular implication algebras
- scientific article; zbMATH DE number 935038
- Theorem Proving Modulo Based on Boolean Equational Procedures
- Decidability in orthomodular lattices
- scientific article; zbMATH DE number 1471993
- scientific article; zbMATH DE number 1530956
- The logics of orthoalgebras
- Orthoalgebras as pastings of Boolean algebras
Cites work
- A Simple Proof That Super-Consistency Implies Cut Elimination
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
- Classical \(F_{\omega}\), orthogonality and symmetric candidates
- Linear logic
- Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- Proof normalization modulo
- Theorem proving modulo
- Towards a semantic characterization of cut-elimination
- Truth Values Algebras and Proof Normalization
Cited in
(6)- Conjunctions, disjunctions, and Bell-type inequalities in orthoalgebras
- Theorem Proving Modulo Based on Boolean Equational Procedures
- Characterizations of reduction classes modulo oracle conditions
- Proof normalization modulo
- scientific article; zbMATH DE number 935038 (Why is no real title available?)
- Cut Elimination in Deduction Modulo by Abstract Completion
This page was built for publication: Orthogonality and Boolean Algebras for Deduction Modulo
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3007658)
