:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Giustarini, Valeria, Ugolini, Sara
Format:	Preprint
Published:	2024
Subjects:	Logic 03G10, 06F05, 06D05
Online Access:	https://arxiv.org/abs/2408.17400
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Amalgamation in Semilinear Residuated Lattices
by: Fussner, Wesley, et al.
Published: (2024)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

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

Locally Integral Involutive PO-Semigroups
by: Gil-Férez, José, et al.
Published: (2023)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

(Extra)ordinary equivalences with the ascending/descending sequence principle
by: Fiori-Carones, Marta, et al.
Published: (2021)

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

Cutsets in ${\mathcal P}(X)$
by: Ginsburg, John, et al.
Published: (2025)

Representability for distributive quasi relation algebras via nested sums
by: Craig, Andrew, et al.
Published: (2025)

Representable distributive quasi relation algebras
by: Craig, Andrew, et al.
Published: (2023)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
by: Fusco, Ludovico, et al.
Published: (2025)

Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)

Diagrams of opposition: an algebraic viewpoint
by: Wu, Chai Wah
Published: (2024)

Residuated lattices do not have the amalgamation property
by: Jipsen, Peter, et al.
Published: (2025)

Tukey-idempotency and strong p-points
by: Benhamou, Tom, et al.
Published: (2025)

Amalgamation in classes of involutive commutative residuated lattices
by: Jenei, Sándor
Published: (2020)

Limit Semigroups with 2 Generators
by: Estrada, Felipe, et al.
Published: (2025)

Axiomatizing small varieties of periodic l-pregroups
by: Galatos, Nikolaos, et al.
Published: (2025)

Structural Infinite-Exponent Partition Relations and Weak Choice Principles
by: Gardiner, Lyra A., et al.
Published: (2026)

An explicit Kuznetsov-Muravitsky enrichment
by: Jibladze, Mamuka, et al.
Published: (2024)

Length and ultraproducts
by: Garti, Shimon, et al.
Published: (2018)

Correspondence Theory for Many-valued Modal Logic
by: Britz, Cecelia, et al.
Published: (2024)

Towards Better: A motivated introduction to better-quasi-orders
by: Pequignot, Yann
Published: (2016)

Infinite-Exponent Partition Relations on the Real Line
by: Gardiner, Lyra A.
Published: (2025)

Oscillating subalgebras of the atomless countable Boolean algebra
by: Bartošová, Dana, et al.
Published: (2025)

On the equational theory of finite modular lattices
by: Herrmann, Christian
Published: (2024)

Reduced Products of Collapsing Algebras
by: Kurilić, Miloš S.
Published: (2024)

Ivanova contact join-semilattices are not finitely axiomatizable
by: Lipparini, Paolo
Published: (2023)

Monotone infinitary operations on ordinals (extended version)
by: Lipparini, Paolo
Published: (2025)

Infinite-Exponent Partition Relations on Higher Analogues of the Real Line
by: Gardiner, Lyra A., et al.
Published: (2026)

Elementary Properties of Free Lattices
by: Nation, J. B., et al.
Published: (2023)

Computability of Separation Axioms in Countable Second Countable Spaces
by: DeLapo, Andrew, et al.
Published: (2025)

Modal group theory: homomorphisms
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

A Fraïssé theory for partial orders of a fixed finite dimension
by: Smythe, Iian B., et al.
Published: (2024)

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

Interpolation in Hájek's Basic Logic
by: Fussner, Wesley, et al.
Published: (2024)

Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices
by: Putra, Juanda Kelana, et al.
Published: (2026)

Copies of Monomorphic Structures
by: Kurilić, Miloš S.
Published: (2023)

Forcing With Copies of Uncountable Ordinals
by: Kurilić, Miloš S.
Published: (2023)

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