On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs.
Amir Farahmand ParsaMeghdad GhariPublished in: Stud Logica (2023)
Keyphrases
- algebraic structure
- natural deduction
- numerical analysis
- cut elimination
- theorem prover
- decision procedures
- vector space
- theorem proving
- algebraic operations
- presburger arithmetic
- modal logic
- probability theory
- logic programming
- epistemic logic
- multi valued
- computational framework
- classical logic
- decision theoretic
- sequent calculus
- boolean functions
- knowledge representation