The following pages link to Proof theory and algebra in logic (Q2419910):
Displaying 7 items.
- On Blass translation for Leśniewski's propositional ontology and modal logics (Q2115291) (← links)
- Sequent calculi for the propositional logic of HYPE (Q2144182) (← links)
- IMPROVING STRONG NEGATION (Q6051428) (← links)
- On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs (Q6115850) (← links)
- Double negation as minimal negation (Q6190088) (← links)
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation (Q6636378) (← links)
- Combining first-order classical and intuitionistic logic (Q6659896) (← links)
