The following pages link to Algebraizable logics (Q3815297):
Displaying 50 items.
- A new approach for classification of filters in residuated lattices (Q277573) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Structural completeness in relevance logics (Q295911) (← links)
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions (Q308133) (← links)
- The semantic isomorphism theorem in abstract algebraic logic (Q324257) (← links)
- Proof complexity of intuitionistic implicational formulas (Q331054) (← links)
- Semisimples in varieties of commutative integral bounded residuated lattices (Q332072) (← links)
- Paraconsistency properties in degree-preserving fuzzy logics (Q344078) (← links)
- Boolean-like algebras (Q353355) (← links)
- Categorical abstract algebraic logic: meet-combination of logical systems (Q355641) (← links)
- Bilattices with implications (Q368472) (← links)
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- Abstract valuation semantics (Q368484) (← links)
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
- On an axiomatic system for the logic of linearly ordered BCI-matrices (Q412072) (← links)
- State operators on generalizations of fuzzy structures (Q427916) (← links)
- States on commutative basic algebras (Q427918) (← links)
- Logics from \(\sqrt{\prime}\) quasi-MV algebras (Q429939) (← links)
- Partially undetermined many-valued events and their conditional probability (Q452350) (← links)
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376) (← links)
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics (Q454381) (← links)
- Priestley duality for bilattices (Q454389) (← links)
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- On finitely-valued fuzzy description logics (Q465589) (← links)
- A note on congruences of semilattices with sectionally finite height. (Q471164) (← links)
- On states and state operators on certain basic algebras (Q472721) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- A survey on categories of logics and algebraizable logics (Q498003) (← links)
- Gentzen-style sequent calculus for semi-intuitionistic logic (Q514513) (← links)
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733) (← links)
- Non-reversible betting games on fuzzy events: complexity and algebra (Q533180) (← links)
- \(n\)-contractive BL-logics (Q535139) (← links)
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Fregean logics (Q598302) (← links)
- Extending possibilistic logic over Gödel logic (Q622285) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- Representations of structural closure operators (Q627430) (← links)
- Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- The free \(n\)-generated BL-algebra (Q636351) (← links)
- Varieties of interlaced bilattices (Q647327) (← links)
- Contextual deduction theorems (Q647412) (← links)
- A logical characterization of coherence for imprecise probabilities (Q648377) (← links)
- State morphism MV-algebras (Q648387) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
