The following pages link to (Q3016126):
Displaying 16 items.
- Proof theory for reasoning with Euler diagrams: a logic translation and normalization (Q361868) (← links)
- Proof internalization in generalized Frege systems for classical logic (Q392294) (← links)
- Kripke semantics and proof systems for combining intuitionistic logic and classical logic (Q690929) (← links)
- Correspondences between classical, intuitionistic and uniform provability (Q1575924) (← links)
- A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION (Q3005996) (← links)
- Cut as Consequence (Q3019775) (← links)
- Proof Theory for Casari's Comparative Logics (Q3411997) (← links)
- ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS (Q3483261) (← links)
- Classical BI: Its Semantics and Proof Theory (Q3575307) (← links)
- (Q3654060) (← links)
- (Q4370352) (← links)
- Proof Nets for Classical Logic (Q4444939) (← links)
- (Q5119550) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- (Q5215789) (← links)
- (Q5316951) (← links)
