The following pages link to Weakly algebraizable logics (Q4508251):
Displayed 20 items.
- Logics from \(\sqrt{\prime}\) quasi-MV algebras (Q429939) (← links)
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- Fregean logics (Q598302) (← links)
- Representations of structural closure operators (Q627430) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- Implicit connectives of algebraizable logics (Q1770605) (← links)
- A new hierarchy of infinitary logics in abstract algebraic logic (Q2363502) (← 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)
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521) (← links)
- Algebraic Methods for Granular Rough Sets (Q3299868) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- On Special Implicative Filters (Q4238431) (← links)
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
- Deduction-Detachment Theorem and Gentzen-Style Deductive Systems (Q4586413) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- On Algebraisation of Superintuitionistic Predicate Logics (Q5214741) (← links)