:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Aristizábal, Manuel Sierra
Format:	Preprint
Published:	2023
Subjects:	Logic 03B10
Online Access:	https://arxiv.org/abs/2309.16015
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

First-order friendliness
by: Badia, Guillermo, et al.
Published: (2022)

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

Connexive implications in Substructural Logics
by: Fazio, Davide, et al.
Published: (2022)

Axiomatizations of Presburger Arithmetic With Predicates For Powers
by: Hieronymi, Philipp, et al.
Published: (2026)

Tarski's Undefinability Theorem and first-order arithmetic
by: Boyce, Stephen
Published: (2010)

Independence questions in a finite axiom-schematization of first-order logic
by: Jubin, Benoit
Published: (2022)

Herbrand's Theorem: a short statement and a model-theoretic proof
by: Badano, Mariana
Published: (2025)

Cantor digraphs and abbreviations of formulas
by: Klazar, Martin
Published: (2025)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
by: Hartonas, Chrysafis
Published: (2023)

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

Taking model-complete cores
by: Bodirsky, Manuel, et al.
Published: (2025)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
by: Baldwin, John T., et al.
Published: (2026)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
by: Baldwin, John T., et al.
Published: (2026)

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
by: Citkin, Alex, et al.
Published: (2025)

Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$
by: Coniglio, Marcelo E., et al.
Published: (2025)

Finite models for positive combinatorial and exponential algebra
by: Alsulami, Tumadhir, et al.
Published: (2024)

Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)

Herbrandized modified realizability
by: Ferreira, Gilda, et al.
Published: (2024)

Cardinality in a paraconsistent and paracomplete set theory
by: Oddsson, Hrafn Valtýr
Published: (2026)

On inverse Goodstein sequences
by: Uftring, Patrick
Published: (2023)

Comparing the Effective Content of Subshifts
by: Cordero, Antonio Nakid, et al.
Published: (2026)

Bounded Ramsey's theorem for triples in computability theory
by: Patey, Ludovic, et al.
Published: (2026)

$Π^0_4$ conservation of the Ordered Variable Word theorem
by: Houérou, Quentin Le, et al.
Published: (2024)

$Π^0_4$ conservation of Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2024)

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions
by: Brown, Hera, et al.
Published: (2025)

Preservation theorems on sparse classes revisited
by: Dawar, Anuj, et al.
Published: (2024)

The Orthologic of Epistemic Modals
by: Holliday, Wesley H., et al.
Published: (2022)

The reverse mathematics of the pigeonhole hierarchy
by: Houérou, Quentin Le, et al.
Published: (2024)

The modal theory of the category of sets
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Dilators and the reverse mathematics zoo
by: Freund, Anton
Published: (2024)

Intuitionism and computing with partial information
by: Ganchev, Hristo, et al.
Published: (2026)

The strength of Ramsey's theorem for $α$-large sets
by: Carlucci, Lorenzo, et al.
Published: (2026)

Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)

Modal logic, fundamentally
by: Holliday, Wesley H.
Published: (2024)

Arrow-Sen theory simplified
by: Boričić, Branislav
Published: (2024)

Ramsey-like theorems for the Schreier barrier
by: Carlucci, Lorenzo, et al.
Published: (2024)

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
by: Koponen, Vera, et al.
Published: (2023)