The following pages link to (Q4715441):
Displayed 50 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity (Q283093) (← links)
- On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
- The semantic isomorphism theorem in abstract algebraic logic (Q324257) (← 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)
- Logics from \(\sqrt{\prime}\) quasi-MV algebras (Q429939) (← links)
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- A note on congruences of semilattices with sectionally finite height. (Q471164) (← links)
- A note on natural extensions in abstract algebraic logic (Q495839) (← links)
- A generalization of the Routley-Meyer semantic framework (Q496325) (← links)
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733) (← links)
- Fregean logics (Q598302) (← links)
- Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
- Possible worlds in use (Q647416) (← links)
- A coalgebraic view on positive modal logic (Q703528) (← links)
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← 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)
- An approach to Glivenko's theorem in algebraizable logics (Q931403) (← links)
- Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- What is a non-truth-functional logic? (Q1037600) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- Locally tabular \(\neq \) locally finite (Q1682298) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
- On the complexity of the Leibniz hierarchy (Q1740630) (← links)
- Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
- Implicit connectives of algebraizable logics (Q1770605) (← links)
- Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606) (← links)
- Characterizing finite-valuedness (Q1795205) (← links)
- The logic of distributive nearlattices (Q1797923) (← links)
- Algebraic study of two deductive systems of relevance logic (Q1893139) (← links)
- Abstract modal logics (Q1902554) (← links)
- Minimally generated abstract logics (Q1931337) (← links)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
- Nothing but the truth (Q1947033) (← links)
- Non-distributive relatives of ETL and NFL (Q2021563) (← 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)