The following pages link to (Q4011710):
Displayed 30 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- The semantic isomorphism theorem in abstract algebraic logic (Q324257) (← links)
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- Fregean logics (Q598302) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Algebraic logic for classical conjunction and disjunction (Q1189892) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Definitional equivalence and algebraizability of generalized logical systems (Q1302288) (← links)
- Varieties of commutative residuated integral pomonoids and their residuation subreducts (Q1355602) (← links)
- Relative congruence formulas and decompositions in quasivarieties (Q1686333) (← links)
- Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606) (← links)
- On the structure of varieties with equationally definable principal congruences. I (Q1839272) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- Relation algebras can tile (Q1961863) (← links)
- On prevarieties of logic (Q2324841) (← links)
- \(M\)-sets and the representation problem (Q2350212) (← links)
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication (Q2422313) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- Willem Blok's contribution to abstract algebraic logic (Q2433093) (← 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)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- Some modal and temporal translations of generalized basic logic (Q2695352) (← links)
- Algebraic Characterization of the Local Craig Interpolation Property (Q4556007) (← links)
- A Mathematical Life (Q4586411) (← links)
- Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency (Q5020166) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042) (← links)
- The algebraic significance of weak excluded middle laws (Q6094135) (← links)
- The Modelwise Interpolation Property of Semantic Logics (Q6119356) (← links)