Cover Image

First-order friendliness

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Badia, Guillermo, Makinson, David Clement
Format:	Preprint
Published:	2022
Subjects:	Logic 03B10, 03B99
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

First-Order Implication-Space Semantics
by: Hlobil, Ulf
Published: (2026)

The Logic of Correct Models
by: Aguilera, Juan Pablo, et al.
Published: (2024)

The Countable Reals
by: Bauer, Andrej, et al.
Published: (2024)

A Self-Reflecting Formal Language
by: Patrakeev, Mikhail
Published: (2023)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
by: Inoué, Takao, et al.
Published: (2024)

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

Notes on Interpretability between Weak First-order Theories: Theories of Sequences
by: Kristiansen, Lars, et al.
Published: (2024)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
by: Olkhovikov, Grigory K., et al.
Published: (2022)

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

Dismantling the Surprise Test "Paradox"
by: Dietzfelbinger, Martin
Published: (2026)

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)

Herbrand's Theorem: a short statement and a model-theoretic proof
by: Badano, Mariana
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)

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

A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)

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

Arboles de Forzamiento Semántico para la Logica de Predicados
by: Aristizábal, Manuel Sierra
Published: (2023)

Refutability as Recursive as Provability
by: Cattabriga, Paola
Published: (2024)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
by: Olkhovikov, Grigory
Published: (2024)

Paracomplete Probabilities
by: Basu, Sankha S., et al.
Published: (2025)

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

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

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

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

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

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

Problems with fixpoints of polynomials of polynomials
by: Pradic, Cécilia, et al.
Published: (2026)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
by: Coniglio, Marcelo E.
Published: (2023)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

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

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

Swap Kripke models for deontic LFIs
by: Vaz, Mahan, et al.
Published: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

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

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

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

A Note About Models of Synthetic Algebraic Geometry
by: Coquand, Thierry, et al.
Published: (2025)