Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Semenov, A. L., Soprunov, S. F.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On dp-minimal expansions of the integers
di: Alouf, Eran
Pubblicazione: (2020)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
di: Kaneko, Yuzuki, et al.
Pubblicazione: (2026)

An order analysis of hyperfinite Borel equivalence relations
di: Gao, Su, et al.
Pubblicazione: (2024)

On the representation of C-recursive integer sequences by arithmetic terms
di: Prunescu, Mihai, et al.
Pubblicazione: (2024)

An exposition on the supersimplicity of certain expansions of the additive group of the integers
di: Martin-Pizarro, Amador, et al.
Pubblicazione: (2025)

Models of true arithmetic are integer parts of nice real closed fields
di: Carl, Merlin
Pubblicazione: (2013)

Countability constraints in order-theoretic approaches to computability
di: Hack, Pedro, et al.
Pubblicazione: (2022)

The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation
di: Tzouvaras, Athanassios
Pubblicazione: (2026)

Pointed lattice subreducts of varieties of residuated lattices
di: Přenosil, Adam
Pubblicazione: (2023)

n-fold filters in residuated lattice
di: Kadji, A., et al.
Pubblicazione: (2013)

On first-order definable operations on relational structures
di: Courcelle, Bruno
Pubblicazione: (2026)

Nelson algebras, residuated lattices and rough sets: A survey
di: Järvinen, Jouni, et al.
Pubblicazione: (2024)

Refutation calculi for lattice-based logics: from display to tableaux
di: De Domenico, Andrea, et al.
Pubblicazione: (2026)

Modal reduction principles: a parametric shift to graphs
di: Conradie, Willem, et al.
Pubblicazione: (2024)

First-order Logic with Being a Thesis Modal Operator
di: Łyczak, Marcin
Pubblicazione: (2024)

Gelfand residuated lattices
di: Rasouli, Saeed, et al.
Pubblicazione: (2022)

On the theory of exponential integer parts
di: Jeřábek, Emil
Pubblicazione: (2024)

Proof-theoretic Semantics for First-order Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2024)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Reflecting compact $T_1$-spaces into bounded distributive lattices
di: Gehrke, Mai, et al.
Pubblicazione: (2024)

Some remarks on lattices of equivalences
di: Herrmann, Christian
Pubblicazione: (2025)

Natural numbers from integers
di: Sattler, Christian, et al.
Pubblicazione: (2024)

On semantics of first-order justification logic with binding modalities
di: Yavorskaya, Tatiana, et al.
Pubblicazione: (2025)

On a relation between $λ$-full well-ordered sets and weakly compact cardinals
di: Gullà, Gabriele
Pubblicazione: (2024)

Decomposing graphs into stable and ordered parts
di: Buffière, Hector, et al.
Pubblicazione: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
di: Becker, Justus, et al.
Pubblicazione: (2026)

An order-theoretic circuit syntax and characterisation of the concept lattice
di: van der Lugt, Tein
Pubblicazione: (2025)

A counterexample regarding an equivalence relation on a product space
di: Shani, Assaf
Pubblicazione: (2025)

A linear proof language for second-order intuitionistic linear logic
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2023)

On the expressive power of inquisitive team logic and inquisitive first-order logic
di: Kontinen, Juha, et al.
Pubblicazione: (2026)

Foulis-Holland theorem for implicative-orthomodular lattices
di: Ciungu, Lavinia Corina
Pubblicazione: (2024)

On the universal theory of the free pseudocomplemented distributive lattice
di: Carai, Luca, et al.
Pubblicazione: (2024)

Some applications of fuzzy sets in residuated lattices
di: Flaut, Cristina, et al.
Pubblicazione: (2024)

Labelled calculi for lattice-based modal logics
di: van der Berg, Ineke, et al.
Pubblicazione: (2024)

Making first order linear logic a generating grammar
di: Slavnov, Sergey
Pubblicazione: (2022)

Nagata products of bimodules over residuated lattices
di: Přenosil, Adam, et al.
Pubblicazione: (2025)

Twist-structures isomorphic to modal Nelson lattices
di: Menchón, Paula, et al.
Pubblicazione: (2025)

Intrinsic and relative characterization results for logics with negative modalities
di: de Groot, Jim, et al.
Pubblicazione: (2025)

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

Higher arity stability and the functional order property
di: Abd-Aldaim, A., et al.
Pubblicazione: (2023)