Copertina

A Self-Reflecting Formal Language

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Patrakeev, Mikhail
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic 03B60, 03A99
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Paracomplete Probabilities
di: Basu, Sankha S., et al.
Pubblicazione: (2025)

First-Order Implication-Space Semantics
di: Hlobil, Ulf
Pubblicazione: (2026)

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

Axioms for Arbitrary Object Theory
di: Steinkrauss, Luca, et al.
Pubblicazione: (2025)

First-order friendliness
di: Badia, Guillermo, et al.
Pubblicazione: (2022)

Dismantling the Surprise Test "Paradox"
di: Dietzfelbinger, Martin
Pubblicazione: (2026)

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

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

The Countable Reals
di: Bauer, Andrej, et al.
Pubblicazione: (2024)

Zilber dichotomy for $DCF_{0,m}$
di: Sanchez, Omar Leon
Pubblicazione: (2024)

Multiplicative logic in arithmetic
di: Zhuravlov, Volodymyr
Pubblicazione: (2024)

Strong Negation is Definable in 2Int
di: Oddsson, Hrafn Valtýr
Pubblicazione: (2025)

Convex Team Logics
di: Anttila, Aleksi, et al.
Pubblicazione: (2025)

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

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

Topological semantics for a non-self-extensional LFI
di: Jain, Esha, et al.
Pubblicazione: (2025)

The uniform companion for fields with free operators in characteristic zero
di: Mohamed, Shezad
Pubblicazione: (2023)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
di: Ghari, Meghdad
Pubblicazione: (2014)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
di: Ayhan, Sara
Pubblicazione: (2023)

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

A Closer Look at the Russell Paradox
di: Sheridan, Flash
Pubblicazione: (2021)

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

Retractors in local positive logic
di: Fanlo, Arturo Rodriguez, et al.
Pubblicazione: (2024)

Completeness in local positive logic
di: Fanlo, Arturo Rodriguez, et al.
Pubblicazione: (2024)

Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth
di: Huttegger, Simon M., et al.
Pubblicazione: (2024)

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

Modal Exchangeability: Centered Symmetry and the Credal Architecture of Kripke Frames
di: Zantedeschi, Daniel
Pubblicazione: (2026)

Axiomatizing modal inclusion logic and its variants
di: Anttila, Aleksi, et al.
Pubblicazione: (2023)

Expressibility and inexpressibility in propositional team logics
di: Häggblom, Matilda, et al.
Pubblicazione: (2025)

Possible and impossible conditionals for team logics
di: Barbero, Fausto, et al.
Pubblicazione: (2026)

Capturing dual team properties with inclusion atoms
di: Häggblom, Matilda
Pubblicazione: (2026)

Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness
di: Krawczyk, Krzysztof A.
Pubblicazione: (2024)

State-based Modal Logics for Free Choice
di: Aloni, Maria, et al.
Pubblicazione: (2023)

Tableau Proof Systems for Justification Logics
di: Ghari, Meghdad
Pubblicazione: (2014)

On generic and supertight automorphisms
di: Kowalski, Piotr, et al.
Pubblicazione: (2026)

Blok-Esakia Theorems via Stable Canonical Rules
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2022)

The amalgamation property and Urysohn structures in continuous logic
di: Gao, Su, et al.
Pubblicazione: (2023)

Compactness in Team Semantics
di: Puljujärvi, Joni, et al.
Pubblicazione: (2022)

Avoiding logical strength in real analysis
di: Freund, Anton, et al.
Pubblicazione: (2026)