Structural and universal completeness in algebra and logic
From MaRDI portal
Publication:6145037
DOI10.1016/j.apal.2023.103391arXiv2309.14151MaRDI QIDQ6145037
Publication date: 8 January 2024
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2309.14151
Logical aspects of lattices and related structures (03G10) Quasivarieties (08C15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract algebraic logic (03G27)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Almost structural completeness; an algebraic approach
- Consequence relations and admissible rules
- On some operations on classes of algebras
- Every minimal dual discriminator variety is minimal as a quasivariety
- Residuated lattices. An algebraic glimpse at substructural logics
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Glivenko theorems revisited
- Structural completeness in fuzzy logics
- On categories of algebras equivalent to a quasivariety
- Almost distributive lattice varieties
- Lattice varieties covering the smallest non-modular variety
- Model theory.
- Discriminator varieties and symbolic computation
- Varieties of lattices
- Splitting algebras and a weak notion of projectivity
- Structural completeness of Gödel's and Dummett's propositional calculi
- An application of Whitman's condition to lattices with no infinite chains
- On structural completeness of many-valued logics
- Congruences and one element subalgebras
- On subtractive varieties. III: From ideals to congruences
- Metamathematics of fuzzy logic
- On minimal simple lattices
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Superintuitionistic companions of classical modal logics
- Algebraic point lattices of quasivarieties
- Least \(V\)-quasivarieties of MV-algebras
- Generalized MV-algebras
- Semisimplicity, EDPC and discriminator varieties of residuated lattices
- Hereditarily structurally complete superintuitionistic deductive systems
- Varieties of BL-algebras. I: General properties.
- Algebraic foundations of many-valued reasoning
- On the structure of hoops
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
- Projectivity in (bounded) commutative integral residuated lattices
- Rotation logics
- On prevarieties of logic
- Admissibility via natural dualities
- Admissibility in De Morgan algebras
- Basic hoops: an algebraic study of continuous t-norms
- Projective and injective distributive lattices
- The ternary discriminator function in universal algebra
- Eine Charakterisierung funktional vollständiger Algebren
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Projectivity and unification in substructural logics of generalized rotations
- Admissible Rules: From Characterizations to Applications
- THE STRUCTURE OF RESIDUATED LATTICES
- Exact Unification and Admissibility
- Correspondences between gentzen and hilbert systems
- Glivenko theorems for substructural logics over FL
- Structural Completeness in Substructural Logics
- Algebraizable logics
- Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
- Super-Łukasiewicz implicational logics
- Unification in intuitionistic logic
- Unification through projectivity
- Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
- Hereditarily structurally complete modal logics
- Singly generated quasivarieties and residuated structures
- MTL-algebras as rotations of basic hoops
- Algebras Whose Congruence Lattices are Distributive.
- Subdirect unions in universal algebra
- Primitive lattice varieties
This page was built for publication: Structural and universal completeness in algebra and logic
