Singly generated quasivarieties and residuated structures

DOI10.1002/MALQ.201900012MaRDI QIDQ5119904zbMATH OpenOpenAlexFDO

Authors Tommaso Moraschini, J. J. Wannenburg, J. 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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• scientific article; zbMATH DE number 4120230
• Equivalents for a quasivariety to be generated by a single structure
• Derived categories of resolutions of cyclic quotient singularities
• scientific article; zbMATH DE number 2046144
• Quasivarieties generated by simple MV-algebras
• Categorical resolutions, poset schemes, and Du Bois singularities
• Quillen equivalence of singular model categories
• Biquotients with singly generated rational cohomology
• Higher dualizability and singly-generated Grothendieck categories
• Singularity categories via the derived quotient

Cites work

• 3088 varieties: A solution to the Ackermann constant problem
• A category equivalence for odd Sugihara monoids and its applications
• A comment on the joint embedding property
• A structurally complete fragment of relevant logic
• Admissibility in finitely generated quasivarieties
• Admissibility of logical inference rules
• Admissible rules and the Leibniz hierarchy
• Admissible rules in the implication-negation fragment of intuitionistic logic
• Algebraizable logics
• Algebras Whose Congruence Lattices are Distributive.
• Almost structural completeness; an algebraic approach
• Axiomatizations of universal classes through infinitary logic
• Completeness of relevant quantification theories
• Completeness theory for propositional logics
• Congruences and one element subalgebras
• Conserving involution in residuated structures
• Deciding active structural completeness
• Derivability of admissible rules
• Epimorphisms in varieties of residuated structures
• Epimorphisms in varieties of subidempotent residuated structures
• Equivalents for a quasivariety to be generated by a single structure
• Hereditarily structurally complete modal logics
• Hereditarily structurally complete positive logics
• scientific article; zbMATH DE number 4132237 (Why is no real title available?)
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3875241 (Why is no real title available?)
• scientific article; zbMATH DE number 4139716 (Why is no real title available?)
• scientific article; zbMATH DE number 3968648 (Why is no real title available?)
• scientific article; zbMATH DE number 4012606 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 67021 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3532920 (Why is no real title available?)
• scientific article; zbMATH DE number 3634226 (Why is no real title available?)
• scientific article; zbMATH DE number 3639589 (Why is no real title available?)
• scientific article; zbMATH DE number 1226187 (Why is no real title available?)
• scientific article; zbMATH DE number 1534356 (Why is no real title available?)
• scientific article; zbMATH DE number 823454 (Why is no real title available?)
• scientific article; zbMATH DE number 3319569 (Why is no real title available?)
• scientific article; zbMATH DE number 3339356 (Why is no real title available?)
• scientific article; zbMATH DE number 3390875 (Why is no real title available?)
• scientific article; zbMATH DE number 3419181 (Why is no real title available?)
• Implicit definition of the quaternary discriminator
• Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
• Model theory.
• Note on algebraic models for relevance logic
• On conserving positive logics
• On structural completeness versus almost structural completeness problem: a discriminator varieties case study
• On the admissible rules of intuitionistic propositional logic
• On the structural completeness of some pure implicational propositional calculi
• On the structure of De Morgan monoids with corollaries on relevant logic and theories
• On the structure of varieties with equationally definable principal congruences. I
• On variable separation in modal and superintuitionistic logics
• Positive Jonsson theories
• Positive Sugihara monoids
• Residuated lattices. An algebraic glimpse at substructural logics
• Some remarks on the consequence operation in sentential logics
• Structural completeness in fuzzy logics
• Structural completeness in relevance logics
• Structural Completeness in Substructural Logics
• The cardinality of subdirectly indecomposable systems in quasivarieties
• The existence of matrices strongly adequate for E, R and their fragments
• The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
• The principle of separation of variables in propositional logics
• There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
• Topics in universal algebra
• Varieties of De Morgan monoids: covers of atoms
• Varieties of De Morgan monoids: minimality and irreducible algebras
• What is relevance logic?

Cited in

(13)

• Equivalents for a quasivariety to be generated by a single structure
• On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra
• Structural completeness in many-valued logics with rational constants
• Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
• Subquasivarieties of implicative locally-finite quasivarieties
• scientific article; zbMATH DE number 4120230 (Why is no real title available?)
• The algebraic significance of weak excluded middle laws
• Semilinear De Morgan monoids and epimorphisms
• Structural and universal completeness in algebra and logic
• On retract varieties of algebras
• Elementary equivalence in positive logic via prime products
• On the structure of Bochvar algebras
• Homomorphism preservation theorems for many-valued structures

This page was built for publication: Singly generated quasivarieties and residuated structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5119904)