Pages that link to "Item:Q2259014"
From MaRDI portal
The following pages link to A survey of nonstandard sequent calculi (Q2259014):
Displayed 5 items.
- Dual erotetic calculi and the minimal \(\mathsf{LFI}\) (Q897482) (← links)
- Gödel's natural deduction (Q1744008) (← links)
- First-Degree Entailment and Structural Reasoning (Q3305621) (← links)
- A Sequent Systems without Improper Derivations (Q6162080) (← links)
- A Classification of Improper Inference Rules (Q6200440) (← links)