The following pages link to (Q3185647):
Displayed 50 items.
- The semantic isomorphism theorem in abstract algebraic logic (Q324257) (← links)
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733) (← links)
- De Morgan clones and four-valued logics (Q829759) (← links)
- De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics (Q830363) (← links)
- Routley star and hyperintensionality (Q830371) (← links)
- Polarity semantics for negation as a modal operator (Q831215) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
- 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)
- Four-valued logics of truth, nonfalsity, exact truth, and material equivalence (Q1981990) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- Completeness for monadic fuzzy logics via functional algebras (Q2035346) (← links)
- The poset of all logics. III: Finitely presentable logics (Q2046877) (← links)
- Containment logics: algebraic completeness and axiomatization (Q2062211) (← links)
- Inquisitive Heyting algebras (Q2062213) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras (Q2082260) (← links)
- Logics of order and related notions (Q2106877) (← links)
- Constraint tableaux for two-dimensional fuzzy logics (Q2142061) (← links)
- Computational properties of partial non-deterministic matrices and their logics (Q2151408) (← links)
- An alternative proof of the Hilbert-style axiomatization for the \(\{\wedge,\vee\}\)-fragment of classical propositional logic (Q2155505) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- Coproduct and amalgamation of deductive systems by means of ordered algebras (Q2169140) (← links)
- On intermediate inquisitive and dependence logics: an algebraic study (Q2172827) (← links)
- Proof theory of paraconsistent weak Kleene logic (Q2193974) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Logics of left variable inclusion and Płonka sums of matrices (Q2219088) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- On a logico-algebraic approach to AGM belief contraction theory (Q2240544) (← links)
- Belnap-Dunn modal logic with value operators (Q2243547) (← links)
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication (Q2243548) (← links)
- Deciding active structural completeness (Q2288335) (← links)
- Algebraic analysis of demodalised analytic implication (Q2295595) (← links)
- Sugihara algebras: admissibility algebras via the test spaces method (Q2301885) (← links)
- A tableaux calculus for default intuitionistic logic (Q2305412) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
- Epimorphisms, definability and cardinalities (Q2307302) (← links)
- On prevarieties of logic (Q2324841) (← links)
- A new hierarchy of infinitary logics in abstract algebraic logic (Q2363502) (← links)
- A deterministic weakening of Belnap-Dunn logic (Q2422310) (← links)
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication (Q2422313) (← links)