Image de couverture de livre

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Baldwin, John T., Brîncuş, Constantin C.
Format:	Preprint
Publié:	2026
Sujets:	Logic 03A05, 03C75, 03B10, 03B72
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
par: Baldwin, John T., et autres
Publié: (2026)

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
par: Citkin, Alex, et autres
Publié: (2025)

Finite models for positive combinatorial and exponential algebra
par: Alsulami, Tumadhir, et autres
Publié: (2024)

Axiomatizations of Presburger Arithmetic With Predicates For Powers
par: Hieronymi, Philipp, et autres
Publié: (2026)

Zilber's notion of logically perfect structure: Universal Covers
par: Baldwin, John T., et autres
Publié: (2023)

On three-valued presentations of classical logic
par: da Ré, Bruno, et autres
Publié: (2023)

Independence questions in a finite axiom-schematization of first-order logic
par: Jubin, Benoit
Publié: (2022)

A classical-logic view on a paraconsistent logic
par: Middelburg, C. A.
Publié: (2020)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
par: Sato, Yuta
Publié: (2025)

More on expressibility of satisfiability in submodels and extensions
par: Poliakov, Nikolai L., et autres
Publié: (2026)

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

Categoricity and amalgamation for AEC and $ κ$ measurable
par: Kolman, Oren, et autres
Publié: (1996)

Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$
par: Coniglio, Marcelo E., et autres
Publié: (2025)

Connexive implications in Substructural Logics
par: Fazio, Davide, et autres
Publié: (2022)

The most natural paradefinite logic relative to classical logic
par: Middelburg, C. A.
Publié: (2026)

Herbrand's Theorem: a short statement and a model-theoretic proof
par: Badano, Mariana
Publié: (2025)

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

Modern Definition and Ancient Definition
par: Protin, Clarence
Publié: (2022)

Aristotle's Second-Order Logic and Natural Deduction
par: Protin, Clarence
Publié: (2023)

Logic families
par: Andréka, H., et autres
Publié: (2023)

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

The Coase Theorem and Ideal Exchanges
par: Lü, Daniel
Publié: (2025)

On the expressive power of inquisitive epistemic logic
par: Ciardelli, Ivano, et autres
Publié: (2023)

Algebraizable Weak Logics
par: Nakov, Georgi, et autres
Publié: (2022)

Model theory of class-sized logics
par: Osinski, Jonathan, et autres
Publié: (2026)

Maximal order types for sequences with gap condition
par: Uftring, Patrick
Publié: (2025)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
par: Stanković, Marko, et autres
Publié: (2025)

Counting Sets with Surnatural Numbers
par: Lynch, Peter, et autres
Publié: (2023)

Strict potentialism in modal mirrors
par: Linnebo, Øystein
Publié: (2026)

Adding an Implication to Logics of Perfect Paradefinite Algebras
par: Greati, Vitor, et autres
Publié: (2023)

The amalgamation property and Urysohn structures in continuous logic
par: Gao, Su, et autres
Publié: (2023)

Natural Term Logic
par: Protin, Clarence
Publié: (2024)

Cut-free sequent calculi for the provability logic D
par: Kashima, Ryo, et autres
Publié: (2023)

Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study
par: Carlucci, Lorenzo, et autres
Publié: (2025)

LF: a Foundational Higher-Order-Logic
par: Goodsell, Zachary, et autres
Publié: (2024)

Exploring P versus NP
par: Tang, Jian-Gang
Publié: (2022)

Left-continuous pseudo-t-norms on modular lattices
par: He, Peng, et autres
Publié: (2025)

The finite cohesiveness principle
par: Sun, Mengzhou
Publié: (2025)

When Bi-interpretability implies Synonymy
par: Friedman, Harvey M., et autres
Publié: (2025)

Testing definitional equivalence of theories via automorphism groups
par: Andréka, H., et autres
Publié: (2022)