Pages that link to "Item:Q1422446"
From MaRDI portal
The following pages link to A survey of abstract algebraic logic (Q1422446):
Displaying 50 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity (Q283093) (← links)
- Structural completeness in relevance logics (Q295911) (← links)
- On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Categorical abstract algebraic logic: meet-combination of logical systems (Q355641) (← links)
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited (Q368481) (← links)
- Abstract valuation semantics (Q368484) (← links)
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- Leibniz interpolation properties (Q393904) (← links)
- On an axiomatic system for the logic of linearly ordered BCI-matrices (Q412072) (← links)
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- A note on natural extensions in abstract algebraic logic (Q495839) (← links)
- The semi Heyting-Brouwer logic (Q495844) (← links)
- A new view of effects in a Hilbert space (Q514507) (← links)
- Constructing natural extensions of propositional logics (Q514508) (← links)
- Gentzen-style sequent calculus for semi-intuitionistic logic (Q514513) (← links)
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733) (← links)
- Representations of structural closure operators (Q627430) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
- Leibniz-linked pairs of deductive systems (Q647411) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Possible worlds in use (Q647416) (← links)
- Logic for abstract hoop twist-structures (Q720755) (← links)
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← links)
- Triangle algebras: A formal logic approach to interval-valued residuated lattices (Q835104) (← links)
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
- Logics with disjunction and proof by cases (Q938238) (← links)
- Free equivalential algebras (Q952484) (← links)
- Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- Relative congruence formulas and decompositions in quasivarieties (Q1686333) (← links)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Semi-intuitionistic logic with strong negation (Q1743996) (← links)
- Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
- Extension properties and subdirect representation in abstract algebraic logic (Q1756591) (← links)
- The logic of distributive nearlattices (Q1797923) (← links)
- Minimally generated abstract logics (Q1931337) (← links)
- Theory of completeness for logical spaces (Q1931338) (← links)
