Singly generated quasivarieties and residuated structures
From MaRDI portal
Publication:5119904
DOI10.1002/malq.201900012OpenAlexW3036740691MaRDI QIDQ5119904
J. J. Wannenburg, Tommaso Moraschini, James G. Raftery
Publication date: 9 September 2020
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1902.04159
Related Items
The algebraic significance of weak excluded middle laws, Semilinear De Morgan monoids and epimorphisms, Structural and universal completeness in algebra and logic, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality, Structural completeness in many-valued logics with rational constants
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Almost structural completeness; an algebraic approach
- Structural completeness in relevance logics
- What is relevance logic?
- Admissible rules in the implication-negation fragment of intuitionistic logic
- A structurally complete fragment of relevant logic
- Completeness of relevant quantification theories
- There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
- Residuated lattices. An algebraic glimpse at substructural logics
- Positive Sugihara monoids
- Equivalents for a quasivariety to be generated by a single structure
- Structural completeness in fuzzy logics
- The cardinality of subdirectly indecomposable systems in quasivarieties
- On the structure of De Morgan monoids with corollaries on relevant logic and theories
- Model theory.
- The principle of separation of variables in propositional logics
- Derivability of admissible rules
- Congruences and one element subalgebras
- The existence of matrices strongly adequate for E, R and their fragments
- Admissibility of logical inference rules
- Axiomatizations of universal classes through infinitary logic
- Positive Jonsson theories
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Implicit definition of the quaternary discriminator
- On the structure of varieties with equationally definable principal congruences. I
- On variable separation in modal and superintuitionistic logics
- A category equivalence for odd Sugihara monoids and its applications
- Epimorphisms in varieties of subidempotent residuated structures
- Deciding active structural completeness
- Completeness theory for propositional logics
- Admissible rules and the Leibniz hierarchy
- Epimorphisms in varieties of residuated structures
- Topics in universal algebra
- The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
- On conserving positive logics
- On the structural completeness of some pure implicational propositional calculi
- A comment on the joint embedding property
- On the admissible rules of intuitionistic propositional logic
- Admissibility in Finitely Generated Quasivarieties
- Note on algebraic models for relevance logic
- Structural Completeness in Substructural Logics
- Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
- 3088 varieties: A solution to the Ackermann constant problem
- Algebraizable logics
- On structural completeness versus almost structural completeness problem: A discriminator varieties case study
- Hereditarily structurally complete modal logics
- VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS
- HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS
- Conserving involution in residuated structures
- Algebras Whose Congruence Lattices are Distributive.
- Some remarks on the consequence operation in sentential logics
