Weakly Free Multialgebras

DOI10.18778/0138-0680.2021.19MaRDI QIDQ6162081zbMATH OpenOpenAlexFDO

Authors

Publication date 15 June 2023

Published in Bulletin of the Section of Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

category of multialgebrasmultialgebrashyperalgebrasnon-deterministic semanticsuniversal mapping propertyabsolutely free algebrasnon-deterministic algebrasalgebras of terms

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Free algebras (08B20) Categories of algebras (08C05)

Abstract: It is well known from universal algebra that, for every signature $Sigma$, there exist algebras over $Sigma$ which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of $Sigma$-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms (or propositional formulas, in the context of logic). Equivalently, the forgetful functor, from the category of $Sigma$-algebras to $extbfSet$, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor $mathcalU$, from the category of $Sigma$-multialgebras to $extbfSet$, does not have a left adjoint. In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a multialgebra of terms to another multialgebra, and a collection of choices (which selects how a homomorphism approaches indeterminacies), it corresponds a unique homomorphism, which ressembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that $mathcalU$ does not have a left adjoint.

Recommendations

• Non-deterministic algebraization of logics by swap structures
• scientific article; zbMATH DE number 2187959
• Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
• Quantifier-free logic for multialgebraic theories
• Congruence relations of multialgebras

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 551010 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 1765698 (Why is no real title available?)
• scientific article; zbMATH DE number 749697 (Why is no real title available?)
• A graph-theoretic account of logics
• Non-deterministic algebraization of logics by swap structures
• Paraconsistent logic: consistency, contradiction and negation
• Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics

Cited in

(4)

• scientific article; zbMATH DE number 5927469 (Why is no real title available?)
• A Category of Ordered Algebras Equivalent to the Category of Multialgebras
• Relatively free algebras with weak exchange properties
• Free weak nilpotent minimum algebras

This page was built for publication: Weakly Free Multialgebras

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