:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Coquand, Thierry, Höfer, Jonas, Sattler, Christian
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Logic
Online Access:	https://arxiv.org/abs/2605.15126
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The equivariant model structure on cartesian cubical sets
by: Awodey, Steve, et al.
Published: (2024)

Reduction Free Normalisation for a proof irrelevant type of propositions
by: Coquand, Thierry
Published: (2021)

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

Two Remarks about Game Semantics of Classical Logic
by: Coquand, Thierry
Published: (2026)

Auto formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic
by: Coquand, Thierry
Published: (2026)

Univalence without function extensionality
by: Cavallo, Evan, et al.
Published: (2026)

The Regular Element Property in Constructive Mathematics
by: Coquand, Thierry
Published: (2024)

A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism
by: Bezem, Marc, et al.
Published: (2026)

Controlling unfolding in type theory
by: Gratzer, Daniel, et al.
Published: (2022)

Constructive theory of ordinals
by: Coquand, Thierry, et al.
Published: (2022)

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl
by: Neuwirth, Stefan, et al.
Published: (2024)

Eliminating reversals from cubical type theories
by: Cavallo, Evan, et al.
Published: (2026)

Degrees of incomputability, realizability and constructive reverse mathematics
by: Kihara, Takayuki
Published: (2020)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Constructive Ordinal Exponentiation
by: de Jong, Tom, et al.
Published: (2025)

Constructive Quantum Logics
by: Aguilera, Juan P., et al.
Published: (2025)

Natural numbers from integers
by: Sattler, Christian, et al.
Published: (2024)

The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)

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

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
by: de Groot, Jim, et al.
Published: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)

Type Theory with Explicit Universe Polymorphism (revised and extended version)
by: Bezem, Marc, et al.
Published: (2022)

Completions of Kleene's second model
by: Terwijn, Sebastiaan A.
Published: (2023)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
by: Atserias, Albert, et al.
Published: (2024)

Impredicative Encodings of (Higher) Inductive Types
by: Awodey, Steve, et al.
Published: (2018)

Boolean basis, formula size, and number of modal operators
by: Berkholz, Christoph, et al.
Published: (2024)

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
by: Fuchser, Janne, et al.
Published: (2025)

ZFLean: a framework for set-level mathematics in Lean
by: Trélat, Vincent
Published: (2026)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
by: Koul, Prajval, et al.
Published: (2025)

Large Language Model for OWL Proofs
by: Yang, Hui, et al.
Published: (2026)

Logic-based analogical proportions
by: Antić, Christian
Published: (2024)

Similarity-based analogical proportions
by: Antić, Christian
Published: (2024)

Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)

Decidability for Sturmian words
by: Hieronymi, Philipp, et al.
Published: (2021)

The higher dimensional propositional calculus
by: Bucciarelli, Antonio, et al.
Published: (2022)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

Uniform interpolation with constructive diamond
by: van der Giessen, Iris, et al.
Published: (2026)