The following pages link to Protoalgebraic logics (Q5932852):
Displayed 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)
- The semantic isomorphism theorem in abstract algebraic logic (Q324257) (← links)
- Categorical abstract algebraic logic: meet-combination of logical systems (Q355641) (← links)
- Bilattices with implications (Q368472) (← links)
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- A coalgebraic perspective on logical interpretations (Q368477) (← 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)
- \(\mathbf R\) and relevance principle revisited (Q381004) (← links)
- Leibniz interpolation properties (Q393904) (← links)
- On an axiomatic system for the logic of linearly ordered BCI-matrices (Q412072) (← links)
- Partially undetermined many-valued events and their conditional probability (Q452350) (← links)
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- A note on congruences of semilattices with sectionally finite height. (Q471164) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- A note on natural extensions in abstract algebraic logic (Q495839) (← links)
- A survey on categories of logics and algebraizable logics (Q498003) (← links)
- Constructing natural extensions of propositional logics (Q514508) (← links)
- Fregean logics (Q598302) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics (Q679802) (← links)
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic (Q723257) (← links)
- Why are papers about filters on residuated structures (usually) trivial? (Q726485) (← links)
- A note on FDE ``all the way up'' (Q778734) (← links)
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← links)
- De Morgan clones and four-valued logics (Q829759) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- An approach to Glivenko's theorem in algebraizable logics (Q931403) (← links)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- Logics with disjunction and proof by cases (Q938238) (← links)
- Free equivalential algebras (Q952484) (← links)
- Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
- Semisimplicity and the discriminator in bounded BCK-algebras (Q992009) (← links)
- Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
- A closer look at some subintuitionistic logics (Q1422101) (← links)
- Congruence computations in principal arithmetical varieties (Q1623244) (← links)
- Axiomatizations of universal classes through infinitary logic (Q1652858) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← links)
- Weakening-free, non-associative fuzzy logics: micanorm-based logics (Q1677042) (← links)
- Locally tabular \(\neq \) locally finite (Q1682298) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Relative congruence formulas and decompositions in quasivarieties (Q1686333) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Involutive basic substructural core fuzzy logics: involutive mianorm-based logics (Q1697513) (← links)