Pages that link to "Item:Q1211481"
From MaRDI portal
The following pages link to A survey of deduction theorems for the propositional calculi (Q1211481):
Displaying 7 items.
- Consequence and interpolation in Łukasiewicz logic (Q647417) (← links)
- Algebraic aspects of deduction theorems (Q1087867) (← links)
- Local deductions theorems (Q1090668) (← links)
- A deduction theorem schema for deductive systems of propositional logics (Q1189891) (← links)
- The parameterized local deduction theorem for quasivarieties of algebras and its application (Q1918964) (← links)
- The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright (Q2562848) (← links)
- Deduction theorems within RM and its extensions (Q4254635) (← links)