Cover Image

The unification type of Lukasiewicz logic with a bounded number of variables

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Abbadini, Marco, Spada, Luca
Format:	Preprint
Published:	2025
Subjects:	Logic Primary: 06D35. Secondary: 03C05, 52B20, 57M10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Stone-Gelfand duality for metrically complete lattice-ordered groups
by: Abbadini, Marco, et al.
Published: (2022)

Unital Specker $\ell$-groups and boolean multispaces
by: Abbadini, Marco, et al.
Published: (2025)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
by: Kowalski, Tomasz, et al.
Published: (2024)

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

On the axiomatisability of the dual of compact ordered spaces
by: Abbadini, Marco
Published: (2025)

Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
by: Aceves-Martínez, Bruno Fernando, et al.
Published: (2024)

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

On the symmetry behind duality
by: Abbadini, Marco, et al.
Published: (2025)

Minimal signatures with undecidability of representability by binary relations
by: Hirsch, Robin, et al.
Published: (2024)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
by: Houérou, Quentin Le, et al.
Published: (2026)

On rearrangement inequalities for T-norm logics
by: Wu, Chai Wah
Published: (2022)

Quantifier-free formulas and quantifier alternation depth in doctrines
by: Abbadini, Marco, et al.
Published: (2024)

A non-computable c.e. closed subset of $[0,1]$
by: Badaev, Serikzhan, et al.
Published: (2025)

Computability for tree presentations of continuum-size structures
by: Block, Jason, et al.
Published: (2025)

Squares, scales and lines
by: Cummings, James
Published: (2025)

Nonstandard Universes
by: Ouwehand, Peter
Published: (2025)

Untranscendable order types
by: Ervin, Garrett, et al.
Published: (2026)

Forking and invariant types in regular ordered Abelian groups
by: Hossain, Akash
Published: (2023)

On actions and split extensions in varieties of hoops: the case of strong section
by: Mancini, Manuel, et al.
Published: (2025)

A note on Hindman-type theorems for uncountable cardinals
by: Carlucci, Lorenzo
Published: (2017)

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

A local Ramsey theory for block sequences
by: Smythe, Iian B.
Published: (2016)

Quasivarieties of p-algebras: some new results
by: Kowalski, Tomasz, et al.
Published: (2024)

Varieties of MV-monoids and positive MV-algebras
by: Abbadini, Marco, et al.
Published: (2024)

On the lack of colimits in various categories arising in pointfree topology and algebraic logic
by: Abbadini, Marco, et al.
Published: (2025)

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

Generalized sums of linear orders
by: Ramos, Álvaro Díaz, et al.
Published: (2025)

Polyhedra with hexagonal and triangular faces and three faces around each vertex
by: Green, Linda, et al.
Published: (2023)

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

All Borel Group Extensions of Finite-Dimensional Real Space Are Trivial
by: Richter, Linus
Published: (2025)

The calculus of names -- The legacy of Jan Łukasiewicz
by: Pietruszczak, Andrzej
Published: (2023)

Von Staudt Constructions for Skew-Linear and Multilinear Matroids
by: Kühne, Lukas, et al.
Published: (2020)

Apartness relations between propositions
by: Kocsis, Zoltan A.
Published: (2022)

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

More on setwise climbability properties
by: König, Bernhard, et al.
Published: (2025)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2026)

Cofibrant generation of pure monomorphisms in presheaf categories
by: Cox, Sean, et al.
Published: (2025)

Corrigendum to "Kim-independence in positive logic"
by: Dobrowolski, Jan, et al.
Published: (2024)