Pages that link to "Item:Q1189891"
From MaRDI portal
The following pages link to A deduction theorem schema for deductive systems of propositional logics (Q1189891):
Displaying 8 items.
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited (Q368481) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606) (← links)
- Algebraic study of two deductive systems of relevance logic (Q1893139) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521) (← links)
- Deduction theorems within RM and its extensions (Q4254635) (← links)
