Imagen de Portada

Tarskian Theories of Krivine's Classical Realisability

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Hayashi, Daichi, Leigh, Graham E.
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Friedman--Sheard-style Theory for Classical Realisability
por: Hayashi, Daichi, et al.
Publicado: (2025)

A Guide to Krivine Realizability for Set Theory
por: Matthews, Richard
Publicado: (2023)

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

Tarskian truth theories over set theory
por: Enayat, Ali
Publicado: (2026)

Unravelling Cyclic First-Order Arithmetic
por: Leigh, Graham E., et al.
Publicado: (2025)

Axiomatic theories of supervaluational truth: completing the picture
por: Dopico, Pablo, et al.
Publicado: (2024)

From GTC to Reset: Generating Reset Proof Systems from Cyclic Proof Systems
por: Leigh, Graham E., et al.
Publicado: (2023)

Basis-Sensitive Quantum Typing via Realisability
por: Díaz-Caro, Alejandro, et al.
Publicado: (2025)

Demystifying $μ$
por: Afshari, Bahareh, et al.
Publicado: (2024)

Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm
por: Curzi, Gianluca, et al.
Publicado: (2026)

Linear Realisability and Implicative Algebras
por: Lucquin, Alexandre, et al.
Publicado: (2026)

Linear Realisability over nets: multiplicatives (long version)
por: Ragot, Adrien, et al.
Publicado: (2024)

Classical Set Theory: Theory of Sets and Classes
por: Banakh, Taras
Publicado: (2020)

On the Impact of the Communication Model on Realisability
por: Di Giusto, Cinzia, et al.
Publicado: (2025)

The Limit of Recursion in State-based Systems
por: Afshari, Bahareh, et al.
Publicado: (2025)

Dominating numbers at singular cardinals
por: Hayashi, Yusuke
Publicado: (2025)

Reaching Classicality through Transitive Closure
por: Blomet, Quentin, et al.
Publicado: (2025)

Classical Explanations in (and of) General Probabilistic Theories
por: Harding, John, et al.
Publicado: (2026)

Stationary list colorings
por: Hayashi, Yusuke
Publicado: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
por: Indrzejczak, Andrzej, et al.
Publicado: (2024)

On Classical Determinate Truth
por: Castaldo, Luca, et al.
Publicado: (2024)

Classical Logic without Bivalance
por: Gheorghiu, Alexander V.
Publicado: (2025)

Rings and Boolean Algebras as Algebraic Theories
por: De Faveri, Arturo
Publicado: (2025)

Primitive Recursive Dependent Type Theory
por: Buchholtz, Ulrik, et al.
Publicado: (2024)

Fixed Point Theorems in Computability Theory
por: Terwijn, Sebastiaan A.
Publicado: (2024)

On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity
por: Contente, Michele, et al.
Publicado: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
por: Przybocki, Benjamin, et al.
Publicado: (2025)

The Pebble-Relation Comonad in Finite Model Theory
por: Montacute, Yoàv, et al.
Publicado: (2021)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
por: Hermes, Marc, et al.
Publicado: (2023)

Game-theoretic variants of cardinal invariants
por: Chapital, Jorge Antonio Cruz, et al.
Publicado: (2023)

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
por: Mojtahedi, Mojtaba, et al.
Publicado: (2024)

A Naive Encoding of Russell's Paradox in Type Theory
por: Qu, Zhuoyuan
Publicado: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
por: Lyon, Tim S., et al.
Publicado: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
por: Geuvers, Herman
Publicado: (2026)

Universal Proof Theory, TACL 2022 Lecture Notes
por: Iemhoff, Rosalie, et al.
Publicado: (2023)

The Logical Embedding of Universal Frame Logic: A Sequent Calculus and Classical Interpretation
por: Kevin Fathi
Publicado: (2025)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2018)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
por: Gratzer, Daniel, et al.
Publicado: (2024)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2018)