The following pages link to Local deductions theorems (Q1090668):
Displaying 18 items.
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- Fregean logics (Q598302) (← links)
- Contextual deduction theorems (Q647412) (← links)
- A deduction theorem schema for deductive systems of propositional logics (Q1189891) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606) (← links)
- The parameterized local deduction theorem for quasivarieties of algebras and its application (Q1918964) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Equivalential and algebraizable logics (Q2563460) (← links)
- Deduction theorems within RM and its extensions (Q4254635) (← links)
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
- Freeness in classes without equality (Q4934034) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- Inconsistency lemmas in algebraic logic (Q5396222) (← links)
- Lattice BCK logics with Modus Ponens as unique rule (Q5419214) (← links)
- The algebraic significance of weak excluded middle laws (Q6094135) (← links)
