The following pages link to Protoalgebraic logics (Q5932852):
Displayed 50 items.
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- On the complexity of the Leibniz hierarchy (Q1740630) (← links)
- Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
- Extension properties and subdirect representation in abstract algebraic logic (Q1756591) (← links)
- Neighborhood semantics for modal many-valued logics (Q1795204) (← links)
- Characterizing finite-valuedness (Q1795205) (← links)
- The logic of distributive nearlattices (Q1797923) (← links)
- The parameterized local deduction theorem for quasivarieties of algebras and its application (Q1918964) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
- Replacement in logic (Q1947034) (← links)
- Lattices of theories in languages without equality (Q1949165) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- The poset of all logics. III: Finitely presentable logics (Q2046877) (← links)
- Properties of implication in effect algebras (Q2054647) (← links)
- Implicational tonoid logics: algebraic and relational semantics (Q2070425) (← links)
- Performability of actions (Q2071576) (← links)
- Logics of order and related notions (Q2106877) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Logics of left variable inclusion and Płonka sums of matrices (Q2219088) (← links)
- Densification via polynomials, languages, and frames (Q2229970) (← links)
- Regular elements and Kolmogorov translation in residuated lattices (Q2257976) (← links)
- Deciding active structural completeness (Q2288335) (← links)
- Epimorphisms, definability and cardinalities (Q2307302) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- On prevarieties of logic (Q2324841) (← links)
- An algebraic study of exactness in partial contexts (Q2353690) (← links)
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
- A new hierarchy of infinitary logics in abstract algebraic logic (Q2363502) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Defining subdirect product closed classes in infinitary logic (Q2377305) (← links)
- Weakening-free fuzzy logics with the connective \(\Delta\) (Q2391677) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- A deterministic weakening of Belnap-Dunn logic (Q2422310) (← links)
- On the mutual definability of the notions of entailment, rejection, and inconsistency (Q2422532) (← links)
- Triangular irreducibility of congruences in quasivarieties (Q2450841) (← links)
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 (Q2499308) (← links)
- Categorical abstract algebraic logic: Partially ordered algebraic systems (Q2502179) (← links)
- Weakly implicative (fuzzy) logics. I: Basic properties (Q2505501) (← links)
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521) (← links)
- Filter pairs and natural extensions of logics (Q2700816) (← links)
- Consequence and Degrees of Truth in Many-Valued Logic (Q2948586) (← links)
- Refinement by Interpretation in a General Setting (Q2994492) (← links)
- COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC (Q3188323) (← links)
- Algebraic Representation, Dualities and Beyond (Q3299871) (← links)
- Correspondences between gentzen and hilbert systems (Q3410681) (← links)
- Literal-paraconsistent and literal-paracomplete matrices (Q3419671) (← links)
- Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas (Q3437039) (← links)
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)