Pages that link to "Item:Q1087867"
From MaRDI portal
The following pages link to Algebraic aspects of deduction theorems (Q1087867):
Displaying 22 items.
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited (Q368481) (← links)
- Fregean logics (Q598302) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Sentential logics and Maehara interpolation property (Q1076010) (← links)
- Local deductions theorems (Q1090668) (← links)
- A deduction theorem schema for deductive systems of propositional logics (Q1189891) (← links)
- Strong versus weak quantum consequence operations (Q1194110) (← links)
- Algebraic study of Sette's maximal paraconsistent logic (Q1344874) (← links)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← 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)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- The deduction theorem for quantum logic—some negative results (Q3480040) (← links)
- A first approach to abstract modal logics (Q4205420) (← links)
- Deduction theorems within RM and its extensions (Q4254635) (← links)
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
- Deduction-Detachment Theorem and Gentzen-Style Deductive Systems (Q4586413) (← links)
- Freeness in classes without equality (Q4934034) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
- Inconsistency lemmas in algebraic logic (Q5396222) (← links)
- The algebraic significance of weak excluded middle laws (Q6094135) (← links)
