Buchumschlag

On a lattice of relational spaces (reducts) for the order of integers

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Semenov, A. L., Soprunov, S. F.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On dp-minimal expansions of the integers
von: Alouf, Eran
Veröffentlicht: (2020)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
von: Kaneko, Yuzuki, et al.
Veröffentlicht: (2026)

An order analysis of hyperfinite Borel equivalence relations
von: Gao, Su, et al.
Veröffentlicht: (2024)

On the representation of C-recursive integer sequences by arithmetic terms
von: Prunescu, Mihai, et al.
Veröffentlicht: (2024)

An exposition on the supersimplicity of certain expansions of the additive group of the integers
von: Martin-Pizarro, Amador, et al.
Veröffentlicht: (2025)

Models of true arithmetic are integer parts of nice real closed fields
von: Carl, Merlin
Veröffentlicht: (2013)

Countability constraints in order-theoretic approaches to computability
von: Hack, Pedro, et al.
Veröffentlicht: (2022)

The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation
von: Tzouvaras, Athanassios
Veröffentlicht: (2026)

Pointed lattice subreducts of varieties of residuated lattices
von: Přenosil, Adam
Veröffentlicht: (2023)

n-fold filters in residuated lattice
von: Kadji, A., et al.
Veröffentlicht: (2013)

On first-order definable operations on relational structures
von: Courcelle, Bruno
Veröffentlicht: (2026)

Nelson algebras, residuated lattices and rough sets: A survey
von: Järvinen, Jouni, et al.
Veröffentlicht: (2024)

Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

Modal reduction principles: a parametric shift to graphs
von: Conradie, Willem, et al.
Veröffentlicht: (2024)

First-order Logic with Being a Thesis Modal Operator
von: Łyczak, Marcin
Veröffentlicht: (2024)

Gelfand residuated lattices
von: Rasouli, Saeed, et al.
Veröffentlicht: (2022)

On the theory of exponential integer parts
von: Jeřábek, Emil
Veröffentlicht: (2024)

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Reflecting compact $T_1$-spaces into bounded distributive lattices
von: Gehrke, Mai, et al.
Veröffentlicht: (2024)

Some remarks on lattices of equivalences
von: Herrmann, Christian
Veröffentlicht: (2025)

Natural numbers from integers
von: Sattler, Christian, et al.
Veröffentlicht: (2024)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

On a relation between $λ$-full well-ordered sets and weakly compact cardinals
von: Gullà, Gabriele
Veröffentlicht: (2024)

Decomposing graphs into stable and ordered parts
von: Buffière, Hector, et al.
Veröffentlicht: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

An order-theoretic circuit syntax and characterisation of the concept lattice
von: van der Lugt, Tein
Veröffentlicht: (2025)

A counterexample regarding an equivalence relation on a product space
von: Shani, Assaf
Veröffentlicht: (2025)

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

Foulis-Holland theorem for implicative-orthomodular lattices
von: Ciungu, Lavinia Corina
Veröffentlicht: (2024)

On the universal theory of the free pseudocomplemented distributive lattice
von: Carai, Luca, et al.
Veröffentlicht: (2024)

Some applications of fuzzy sets in residuated lattices
von: Flaut, Cristina, et al.
Veröffentlicht: (2024)

Labelled calculi for lattice-based modal logics
von: van der Berg, Ineke, et al.
Veröffentlicht: (2024)

Making first order linear logic a generating grammar
von: Slavnov, Sergey
Veröffentlicht: (2022)

Nagata products of bimodules over residuated lattices
von: Přenosil, Adam, et al.
Veröffentlicht: (2025)

Twist-structures isomorphic to modal Nelson lattices
von: Menchón, Paula, et al.
Veröffentlicht: (2025)

Intrinsic and relative characterization results for logics with negative modalities
von: de Groot, Jim, et al.
Veröffentlicht: (2025)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
von: Oda, Yukihiro, et al.
Veröffentlicht: (2021)

Higher arity stability and the functional order property
von: Abd-Aldaim, A., et al.
Veröffentlicht: (2023)