The following pages link to (Q5843956):
Displaying 14 items.
- A minimal classical sequent calculus free of structural rules (Q636359) (← links)
- Combinatorial analysis of proofs in projective and affine geometry (Q638479) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- A decidable fragment of predicate calculus (Q1066880) (← links)
- A decision procedure revisited: Notes on direct logic, linear logic and its implementation (Q1186430) (← links)
- The axioms of constructive geometry (Q1902978) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- A cut-free sequent calculus for defeasible erotetic inferences (Q2278843) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- Distribution in the Logic of Meaning Containment and in Quantum Mechanics (Q4912993) (← links)
- Inferential Semantics (Q5213609) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs (Q5421030) (← links)
- FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)
