A Category of Ordered Algebras Equivalent to the Category of Multialgebras

DOI10.18778/0138-0680.2023.23arXiv2209.08158MaRDI QIDQ6200477

Unnamed Author, Marcelo E. Coniglio

Publication date: 29 February 2024

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

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

zbMATH Keywords

ordered algebrasmultialgebrasnon-deterministic semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• A duality for Boolean algebras with operators
• Power structures
• Finite-valued semantics for canonical labelled calculi
• Paraconsistent logic: consistency, contradiction and negation
• Implicative twist-structures
• Homomorphisms and subalgebras of multialgebras
• A Graph-theoretic Account of Logics
• The Theory of Representation for Boolean Algebras
• Weakly Free Multialgebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item