Cover Image

A new representation of finite Hoops using a new type of product of structures

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Botur, Michal
Format:	Preprint
Published:	2025
Subjects:	Logic Representation Theory 06D35, 03B50 F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Generating proof systems for three-valued propositional logics
by: Greati, Vitor, et al.
Published: (2024)

Notions of rank and independence in countably categorical theories
by: Koponen, Vera
Published: (2025)

Rational Lukasiewicz logic and DMV-algebras
by: Gerla, Brunella
Published: (2012)

Remarks on Primitive Regulation
by: Rosko, Milan
Published: (2026)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

On the computational properties of ambivalent sets and functions
by: Normann, Dag, et al.
Published: (2026)

Kites and representations of pseudo MV-algebras
by: Botur, Michal, et al.
Published: (2025)

Locally tabular products of modal logics
by: Shapirovsky, Ilya B., et al.
Published: (2024)

A declarative approach to specifying distributed algorithms using three-valued modal logic
by: Gabbay, Murdoch J., et al.
Published: (2025)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)

Sufficient conditions for local tabularity of a polymodal logic
by: Shapirovsky, Ilya B.
Published: (2022)

On distance logics of Euclidean spaces
by: Agnew, Gabriel, et al.
Published: (2025)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
by: Shamkanov, Daniyar
Published: (2021)

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
by: Knudstorp, Søren Brinck
Published: (2025)

Preconditionals
by: Holliday, Wesley H.
Published: (2024)

Consistent ultrafinitist logic
by: Gajda, Michał J.
Published: (2021)

Internal Effectful Forcing in System T
by: Escardo, Martin H., et al.
Published: (2025)

Weihrauch problems as containers
by: Pradic, Cécilia, et al.
Published: (2025)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
by: Stanković, Marko, et al.
Published: (2025)

Sheaves as oracle computations
by: Ahman, Danel, et al.
Published: (2026)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
by: Holliday, Wesley H.
Published: (2022)

Undecidability in Relevant Logic
by: Knudstorp, Søren Brinck
Published: (2026)

The logic of bunched implications is undecidable
by: Galatos, Nick, et al.
Published: (2026)

The Directed Van Kampen Theorem in Lean
by: Basold, Henning, et al.
Published: (2023)

Two-dimensional Kripke Semantics I: Presheaves
by: Kavvos, G. A.
Published: (2024)

Reordered Computable Numbers
by: Janicki, Philip
Published: (2023)

The reverse mathematics of the pigeonhole hierarchy
by: Houérou, Quentin Le, et al.
Published: (2024)

The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)

Linear Orders in Presburger Arithmetic
by: Pakhomov, Fedor, et al.
Published: (2022)

Two-dimensional Kripke Semantics II: Stability and Completeness
by: Kavvos, G. A.
Published: (2024)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
by: Anttila, Aleksi, et al.
Published: (2025)

Modal logic, fundamentally
by: Holliday, Wesley H.
Published: (2024)

Exploring the abyss in Kleene's computability theory
by: Sanders, Sam
Published: (2023)

On some computational properties of open sets
by: Normann, Dag, et al.
Published: (2024)

Normal forms in cubical type theory
by: Huang, Xu
Published: (2026)

Effective bases and notions of effective second countability in computable analysis
by: Brattka, Vasco, et al.
Published: (2025)

Y is a least fixed point combinator
by: Helfer, Joseph
Published: (2025)

On an ordinary expansion of first-order Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2023)

A Logspace Constructive Proof of L=SL
by: Buss, Sam, et al.
Published: (2025)