The following pages link to (Q4029628):
Displayed 47 items.
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions (Q308133) (← links)
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited (Q368481) (← links)
- Abstract valuation semantics (Q368484) (← links)
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- Quasi-equational bases for graphs of semigroups, monoids and groups. (Q535220) (← links)
- Fregean logics (Q598302) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- On varieties of cylindric algebras with applications to logic (Q1098852) (← links)
- On elementary equivalence for equality-free logic (Q1355131) (← links)
- On the complexity of the Leibniz hierarchy (Q1740630) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606) (← links)
- First order logic without equality on relativized semantics (Q1791054) (← links)
- Combining algebraizable logics (Q1815433) (← links)
- Lattices of theories in languages without equality (Q1949165) (← links)
- The poset of all logics. III: Finitely presentable logics (Q2046877) (← links)
- Logics of left variable inclusion and Płonka sums of matrices (Q2219088) (← links)
- Epimorphisms, definability and cardinalities (Q2307302) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Defining subdirect product closed classes in infinitary logic (Q2377305) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- Willem Blok's contribution to abstract algebraic logic (Q2433093) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- General theory of the commutator for deductive systems. I: Basic facts (Q2433100) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- Equivalential and algebraizable logics (Q2563460) (← links)
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521) (← links)
- Three-element non-finitely axiomatizable matrices and term-equivalence (Q2987725) (← links)
- Refinement by Interpretation in a General Setting (Q2994492) (← links)
- Multi-term π-institutions and their equivalence (Q3419674) (← links)
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
- A Mathematical Life (Q4586411) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- Characterization of protoalgebraic k-deductive systems (Q4586420) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
- Categorical abstract algebraic logic: Gentzenπ -institutions and the deduction-detachment property (Q5704806) (← links)
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)
- The Suszko operator relative to truth‐equational logics (Q6047682) (← links)
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics (Q6161952) (← links)