Pages that link to "Item:Q4644567"
From MaRDI portal
The following pages link to Uniqueness of axiomatic extensions of cut-free classical propositional logic (Q4644567):
Displaying 6 items.
- A cut-free sequent calculus for defeasible erotetic inferences (Q2278843) (← links)
- Cut elimination for the unified logic (Q2367410) (← links)
- Keeping Globally Inconsistent Scientific Theories Locally Consistent (Q3305334) (← links)
- FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC (Q3389493) (← links)
- A logic for best explanations (Q5379324) (← links)
- Abduction as deductive saturation: a proof-theoretic inquiry (Q6145029) (← links)