Image de couverture de livre

Tarskian Theories of Krivine's Classical Realisability

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hayashi, Daichi, Leigh, Graham E.
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Friedman--Sheard-style Theory for Classical Realisability
par: Hayashi, Daichi, et autres
Publié: (2025)

A Guide to Krivine Realizability for Set Theory
par: Matthews, Richard
Publié: (2023)

Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$
par: Hayashi, Daichi
Publié: (2024)

Tarskian truth theories over set theory
par: Enayat, Ali
Publié: (2026)

Unravelling Cyclic First-Order Arithmetic
par: Leigh, Graham E., et autres
Publié: (2025)

Axiomatic theories of supervaluational truth: completing the picture
par: Dopico, Pablo, et autres
Publié: (2024)

From GTC to Reset: Generating Reset Proof Systems from Cyclic Proof Systems
par: Leigh, Graham E., et autres
Publié: (2023)

Basis-Sensitive Quantum Typing via Realisability
par: Díaz-Caro, Alejandro, et autres
Publié: (2025)

Demystifying $μ$
par: Afshari, Bahareh, et autres
Publié: (2024)

Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm
par: Curzi, Gianluca, et autres
Publié: (2026)

Linear Realisability and Implicative Algebras
par: Lucquin, Alexandre, et autres
Publié: (2026)

Linear Realisability over nets: multiplicatives (long version)
par: Ragot, Adrien, et autres
Publié: (2024)

Classical Set Theory: Theory of Sets and Classes
par: Banakh, Taras
Publié: (2020)

On the Impact of the Communication Model on Realisability
par: Di Giusto, Cinzia, et autres
Publié: (2025)

The Limit of Recursion in State-based Systems
par: Afshari, Bahareh, et autres
Publié: (2025)

Dominating numbers at singular cardinals
par: Hayashi, Yusuke
Publié: (2025)

Reaching Classicality through Transitive Closure
par: Blomet, Quentin, et autres
Publié: (2025)

Classical Explanations in (and of) General Probabilistic Theories
par: Harding, John, et autres
Publié: (2026)

Stationary list colorings
par: Hayashi, Yusuke
Publié: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

On Classical Determinate Truth
par: Castaldo, Luca, et autres
Publié: (2024)

Classical Logic without Bivalance
par: Gheorghiu, Alexander V.
Publié: (2025)

Rings and Boolean Algebras as Algebraic Theories
par: De Faveri, Arturo
Publié: (2025)

Primitive Recursive Dependent Type Theory
par: Buchholtz, Ulrik, et autres
Publié: (2024)

Fixed Point Theorems in Computability Theory
par: Terwijn, Sebastiaan A.
Publié: (2024)

On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity
par: Contente, Michele, et autres
Publié: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
par: Przybocki, Benjamin, et autres
Publié: (2025)

The Pebble-Relation Comonad in Finite Model Theory
par: Montacute, Yoàv, et autres
Publié: (2021)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
par: Hermes, Marc, et autres
Publié: (2023)

Game-theoretic variants of cardinal invariants
par: Chapital, Jorge Antonio Cruz, et autres
Publié: (2023)

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
par: Mojtahedi, Mojtaba, et autres
Publié: (2024)

A Naive Encoding of Russell's Paradox in Type Theory
par: Qu, Zhuoyuan
Publié: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
par: Lyon, Tim S., et autres
Publié: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
par: Geuvers, Herman
Publié: (2026)

Universal Proof Theory, TACL 2022 Lecture Notes
par: Iemhoff, Rosalie, et autres
Publié: (2023)

The Logical Embedding of Universal Frame Logic: A Sequent Calculus and Classical Interpretation
par: Kevin Fathi
Publié: (2025)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
par: Gratzer, Daniel, et autres
Publié: (2024)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)