Pages that link to "Item:Q1117920"
From MaRDI portal
The following pages link to On certain normalizable natural deduction formulations of some propositional intermediate logics (Q1117920):
Displaying 9 items.
- A note on sequent calculi intermediate between LJ and LK (Q1115420) (← links)
- The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s (Q1814180) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)
- (Q3538670) (← links)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)
- (Q4939407) (← links)
- On Normalizing Disjunctive Intermediate Logics (Q5224781) (← links)
- Vetoing: social, logical and mathematical aspects (Q6608667) (← links)