:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Semenov, A. L., Soprunov, S. F.
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/2411.18181
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On dp-minimal expansions of the integers
par: Alouf, Eran
Publié: (2020)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
par: Kaneko, Yuzuki, et autres
Publié: (2026)

An order analysis of hyperfinite Borel equivalence relations
par: Gao, Su, et autres
Publié: (2024)

On the representation of C-recursive integer sequences by arithmetic terms
par: Prunescu, Mihai, et autres
Publié: (2024)

An exposition on the supersimplicity of certain expansions of the additive group of the integers
par: Martin-Pizarro, Amador, et autres
Publié: (2025)

Models of true arithmetic are integer parts of nice real closed fields
par: Carl, Merlin
Publié: (2013)

On the theory of exponential integer parts
par: Jeřábek, Emil
Publié: (2024)

Countability constraints in order-theoretic approaches to computability
par: Hack, Pedro, et autres
Publié: (2022)

On first-order definable operations on relational structures
par: Courcelle, Bruno
Publié: (2026)

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

Pointed lattice subreducts of varieties of residuated lattices
par: Přenosil, Adam
Publié: (2023)

Nelson algebras, residuated lattices and rough sets: A survey
par: Järvinen, Jouni, et autres
Publié: (2024)

Refutation calculi for lattice-based logics: from display to tableaux
par: De Domenico, Andrea, et autres
Publié: (2026)

First-order Logic with Being a Thesis Modal Operator
par: Łyczak, Marcin
Publié: (2024)

Modal reduction principles: a parametric shift to graphs
par: Conradie, Willem, et autres
Publié: (2024)

Natural numbers from integers
par: Sattler, Christian, et autres
Publié: (2024)

n-fold filters in residuated lattice
par: Kadji, A., et autres
Publié: (2013)

Reflecting compact $T_1$-spaces into bounded distributive lattices
par: Gehrke, Mai, et autres
Publié: (2024)

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

Proof-theoretic Semantics for First-order Logic
par: Gheorghiu, Alexander V.
Publié: (2024)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Gelfand residuated lattices
par: Rasouli, Saeed, et autres
Publié: (2022)

A counterexample regarding an equivalence relation on a product space
par: Shani, Assaf
Publié: (2025)

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

On semantics of first-order justification logic with binding modalities
par: Yavorskaya, Tatiana, et autres
Publié: (2025)

Decomposing graphs into stable and ordered parts
par: Buffière, Hector, et autres
Publié: (2025)

Making first order linear logic a generating grammar
par: Slavnov, Sergey
Publié: (2022)

The proof theory and semantics of second-order (intuitionistic) tense logic
par: Becker, Justus, et autres
Publié: (2026)

Some remarks on lattices of equivalences
par: Herrmann, Christian
Publié: (2025)

A linear proof language for second-order intuitionistic linear logic
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

On the expressive power of inquisitive team logic and inquisitive first-order logic
par: Kontinen, Juha, et autres
Publié: (2026)

An order out of nowhere: a new algorithm for infinite-domain CSPs
par: Mottet, Antoine, et autres
Publié: (2023)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
par: Koshkin, Sergiy
Publié: (2024)

Intrinsic and relative characterization results for logics with negative modalities
par: de Groot, Jim, et autres
Publié: (2025)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
par: Oda, Yukihiro, et autres
Publié: (2021)

Effective weak convergence and tightness of measures in computable Polish spaces
par: Rojas, Diego A.
Publié: (2024)

A logic of judgmental existence and its relation to proof irrelevance
par: Pezlar, Ivo
Publié: (2024)

Foulis-Holland theorem for implicative-orthomodular lattices
par: Ciungu, Lavinia Corina
Publié: (2024)

On the universal theory of the free pseudocomplemented distributive lattice
par: Carai, Luca, et autres
Publié: (2024)

Some applications of fuzzy sets in residuated lattices
par: Flaut, Cristina, et autres
Publié: (2024)