The following pages link to Weakly algebraizable logics (Q4508251):
Displayed 28 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)
- The poset of all logics. III: Finitely presentable logics (Q2046877) (← links)
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras (Q2082260) (← 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)
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)
- On Algebraisation of Superintuitionistic Predicate Logics (Q5214741) (← links)
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)
- The Suszko operator relative to truth‐equational logics (Q6047682) (← links)
- Abstract algebraic logic. An introductory chapter (Q6120603) (← links)