Enregistré dans:
| Auteur principal: | Coquand, Thierry |
|---|---|
| Format: | Preprint |
| Publié: |
2021
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2103.04287 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
A logic of judgmental existence and its relation to proof irrelevance
par: Pezlar, Ivo
Publié: (2024)
par: Pezlar, Ivo
Publié: (2024)
Two Remarks about Game Semantics of Classical Logic
par: Coquand, Thierry
Publié: (2026)
par: Coquand, Thierry
Publié: (2026)
Auto formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic
par: Coquand, Thierry
Publié: (2026)
par: Coquand, Thierry
Publié: (2026)
Constructive higher sheaf models with applications to synthetic mathematics
par: Coquand, Thierry, et autres
Publié: (2026)
par: Coquand, Thierry, et autres
Publié: (2026)
Controlling unfolding in type theory
par: Gratzer, Daniel, et autres
Publié: (2022)
par: Gratzer, Daniel, et autres
Publié: (2022)
Normalisation for Negative Free Logics without and with Definite Descriptions
par: Kürbis, Nils
Publié: (2024)
par: Kürbis, Nils
Publié: (2024)
A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
par: Oda, Yukihiro
Publié: (2025)
par: Oda, Yukihiro
Publié: (2025)
A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism
par: Bezem, Marc, et autres
Publié: (2026)
par: Bezem, Marc, et autres
Publié: (2026)
Generating proof systems for three-valued propositional logics
par: Greati, Vitor, et autres
Publié: (2024)
par: Greati, Vitor, et autres
Publié: (2024)
The equivariant model structure on cartesian cubical sets
par: Awodey, Steve, et autres
Publié: (2024)
par: Awodey, Steve, et autres
Publié: (2024)
Tableau methodology for propositional logics
par: Jarmuzek, T., et autres
Publié: (2025)
par: Jarmuzek, T., et autres
Publié: (2025)
Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
par: Santo, José Espírito, et autres
Publié: (2020)
par: Santo, José Espírito, et autres
Publié: (2020)
Cut elimination for propositional cyclic proof systems with fixed-point operators
par: Hori, Hiromasa, et autres
Publié: (2023)
par: Hori, Hiromasa, et autres
Publié: (2023)
Complexity of the Model Checking problem for inquisitive propositional and modal logic
par: Grilletti, Gianluca, et autres
Publié: (2024)
par: Grilletti, Gianluca, et autres
Publié: (2024)
Bijective proofs for Eulerian numbers of types B and D
par: Santocanale, Luigi
Publié: (2021)
par: Santocanale, Luigi
Publié: (2021)
The Regular Element Property in Constructive Mathematics
par: Coquand, Thierry
Publié: (2024)
par: Coquand, Thierry
Publié: (2024)
The higher dimensional propositional calculus
par: Bucciarelli, Antonio, et autres
Publié: (2022)
par: Bucciarelli, Antonio, et autres
Publié: (2022)
There are (other) ways to negate in propositional team semantics
par: Yang, Fan
Publié: (2024)
par: Yang, Fan
Publié: (2024)
Type Theory with Explicit Universe Polymorphism (revised and extended version)
par: Bezem, Marc, et autres
Publié: (2022)
par: Bezem, Marc, et autres
Publié: (2022)
Strong Normalisation for Asynchronous Effects
par: Ahman, Danel, et autres
Publié: (2026)
par: Ahman, Danel, et autres
Publié: (2026)
Set-like operations on propositional logic programs
par: Antić, Christian
Publié: (2026)
par: Antić, Christian
Publié: (2026)
ODRL Policy Comparison Through Normalisation
par: Salas, Jaime Osvaldo, et autres
Publié: (2026)
par: Salas, Jaime Osvaldo, et autres
Publié: (2026)
A proof theory of (omega-)context-free languages, via non-wellfounded proofs
par: Das, Anupam, et autres
Publié: (2024)
par: Das, Anupam, et autres
Publié: (2024)
A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation
par: Genco, Francesco A.
Publié: (2024)
par: Genco, Francesco A.
Publié: (2024)
A proof-theoretic approach to abstract interpretation
par: D'Silva, Vijay, et autres
Publié: (2026)
par: D'Silva, Vijay, et autres
Publié: (2026)
The proof theory and semantics of second-order (intuitionistic) tense logic
par: Becker, Justus, et autres
Publié: (2026)
par: Becker, Justus, et autres
Publié: (2026)
Apartness relations between propositions
par: Kocsis, Zoltan A.
Publié: (2022)
par: Kocsis, Zoltan A.
Publié: (2022)
A linear proof language for second-order intuitionistic linear logic
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)
Wider systems for linear logic with fixed points: proof theory and complexity
par: Das, Anupam, et autres
Publié: (2026)
par: Das, Anupam, et autres
Publié: (2026)
Extracting efficient exact real number computation from proofs in constructive type theory
par: Konečný, Michal, et autres
Publié: (2022)
par: Konečný, Michal, et autres
Publié: (2022)
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
par: Oda, Yukihiro, et autres
Publié: (2021)
par: Oda, Yukihiro, et autres
Publié: (2021)
Constructive theory of ordinals
par: Coquand, Thierry, et autres
Publié: (2022)
par: Coquand, Thierry, et autres
Publié: (2022)
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
par: Ayhan, Sara
Publié: (2023)
par: Ayhan, Sara
Publié: (2023)
Foundational propositions of hesitant fuzzy soft $β$-covering approximation spaces
par: Lu, Shizhan
Publié: (2024)
par: Lu, Shizhan
Publié: (2024)
A proof theory of right-linear (omega-)grammars via cyclic proofs
par: Das, Anupam, et autres
Publié: (2024)
par: Das, Anupam, et autres
Publié: (2024)
A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
par: d'Aragona, Antonio Piccolomini
Publié: (2025)
par: d'Aragona, Antonio Piccolomini
Publié: (2025)
Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
par: Kozhemiachenko, Daniil
Publié: (2024)
par: Kozhemiachenko, Daniil
Publié: (2024)
An ecumenical view of proof-theoretic semantics
par: Nascimento, Victor, et autres
Publié: (2023)
par: Nascimento, Victor, et autres
Publié: (2023)
A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
par: Oda, Yukihiro, et autres
Publié: (2022)
par: Oda, Yukihiro, et autres
Publié: (2022)
Short proofs without interference
par: Rebola-Pardo, Adrian
Publié: (2025)
par: Rebola-Pardo, Adrian
Publié: (2025)
Documents similaires
-
A logic of judgmental existence and its relation to proof irrelevance
par: Pezlar, Ivo
Publié: (2024) -
Two Remarks about Game Semantics of Classical Logic
par: Coquand, Thierry
Publié: (2026) -
Auto formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic
par: Coquand, Thierry
Publié: (2026) -
Constructive higher sheaf models with applications to synthetic mathematics
par: Coquand, Thierry, et autres
Publié: (2026) -
Controlling unfolding in type theory
par: Gratzer, Daniel, et autres
Publié: (2022)