On prevarieties of logic

DOI10.1007/s00012-019-0611-7OpenAlexW2971636942WikidataQ127297338 ScholiaQ127297338MaRDI QIDQ2324841

Tommaso Moraschini, James G. Raftery

Publication date: 12 September 2019

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1902.04160

zbMATH Keywords

algebraizable logic(pre)variety of logicMaltsev class

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Quasivarieties (08C15) Abstract algebraic logic (03G27)

Related Items

Epimorphism surjectivity in varieties of Heyting algebras, Structural and universal completeness in algebra and logic, The poset of all logics. III: Finitely presentable logics, THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• How many variables does a quasivariety need?
• Residuated lattices. An algebraic glimpse at substructural logics
• Congruence varieties
• Characterizing Mal'cev conditions
• The fine spectrum of a variety
• Varieties of De Morgan monoids: minimality and irreducible algebras
• The Beth property in algebraic logic
• Equivalential and algebraizable logics
• The lattice of interpretability types of varieties
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• A Non-finitary Sentential Logic that is Elementarily Algebraizable
• Algebraizable logics
• The structure of finite algebras
• On Malcev conditions
• Belnap's Four-Valued Logic and De Morgan Lattices
• A general framework for product representations: bilattices and beyond
• A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES
• The shape of congruence lattices
• Representing varieties of algebras by algebras
• On congruence modularity in varieties of logic.
• Protoalgebraic logics