On prevarieties of logic

DOI10.1007/S00012-019-0611-7MaRDI QIDQ2324841zbMATH OpenOpenAlexWikidataFDO

Authors Tommaso Moraschini, J. 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) Abstract algebraic logic (03G27) Quasivarieties (08C15)

Recommendations

• scientific article; zbMATH DE number 1865922
• On congruence modularity in varieties of logic.
• Axiomatizable and nonaxiomatizable congruence prevarieties
• scientific article; zbMATH DE number 139617
• scientific article; zbMATH DE number 540505

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 67022 (Why is no real title available?)
• scientific article; zbMATH DE number 1302498 (Why is no real title available?)
• scientific article; zbMATH DE number 937372 (Why is no real title available?)
• A general framework for product representations: bilattices and beyond
• A logical and algebraic characterization of adjunctions between generalized quasi-varieties
• A non-finitary sentential logic that is elementarily algebraizable
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Abstract algebraic logic. An introductory textbook
• Algebraizable logics
• Belnap's Four-Valued Logic and De Morgan Lattices
• Characterizing Mal'cev conditions
• Congruence varieties
• Equivalential and algebraizable logics
• How many variables does a quasivariety need?
• On Malcev conditions
• On congruence modularity in varieties of logic.
• On the variety generated by involutive pocrims
• Protoalgebraic logics
• Representing varieties of algebras by algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• The Beth property in algebraic logic
• The fine spectrum of a variety
• The lattice of interpretability types of varieties
• The shape of congruence lattices
• The structure of finite algebras
• Varieties of De Morgan monoids: minimality and irreducible algebras

Cited in

(10)

• Epimorphism surjectivity in varieties of Heyting algebras
• Structural and universal completeness in algebra and logic
• On Kinds of Indiscernibility in Logic and Metaphysics
• Unification via projectivity in varieties of hoops
• The poset of all logics. III: Finitely presentable logics
• scientific article; zbMATH DE number 6157049 (Why is no real title available?)
• On prevarieties of logic
• Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics
• THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
• Comments on predicative logic

This page was built for publication: On prevarieties of logic

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