Cover Image

Examples and counterexamples of injective types

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	de Jong, Tom, Escardó, Martín Hötzel
Format:	Preprint
Published:	2026
Subjects:	Logic Logic in Computer Science 03B38, 03F65 (Primary) 03B70 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)

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

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

Proof-theoretic methods in quantifier-free definability
by: Kocsis, Zoltan A.
Published: (2023)

A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)

Logics of polyhedral reachability
by: Bezhanishvili, Nick, et al.
Published: (2024)

The Patch Topology in Univalent Foundations
by: Arrieta, Igor, et al.
Published: (2024)

Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)

Interleaving Logic and Counting
by: van Benthem, Johan, et al.
Published: (2025)

A New Overture to Classical Simple Type Theory, Ketonen-type Gentzen and Tableau Systems
by: Miwa, Tadayoshi, et al.
Published: (2026)

Apartness relations between propositions
by: Kocsis, Zoltan A.
Published: (2022)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
by: Walsh, Sean
Published: (2024)

A simplified lower bound for implicational logic
by: Jeřábek, Emil
Published: (2023)

Continuations and Completeness in Proof-theoretic Semantics
by: Gu, Tao, et al.
Published: (2026)

Internal Effectful Forcing in System T
by: Escardo, Martin H., et al.
Published: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Completeness and Well-Definability of a Provability Degree Measure in Sufficiently Powerful Formal Systems, and Finite-Time Effective Knowers
by: Bahl, Rohan
Published: (2024)

Agent Interpolation for Knowledge
by: Bílková, Marta, et al.
Published: (2025)

The most natural paradefinite logic relative to classical logic
by: Middelburg, C. A.
Published: (2026)

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

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
by: Gallardo, Andrés, et al.
Published: (2024)

The interdefinability of expansions of Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2024)

NF is Consistent
by: Holmes, M. Randall, et al.
Published: (2015)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
by: Cerda, Rémy, et al.
Published: (2022)

Cardinality in a paraconsistent and paracomplete set theory
by: Oddsson, Hrafn Valtýr
Published: (2026)

Natural Term Logic
by: Protin, Clarence
Published: (2024)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
by: Contente, Michele, et al.
Published: (2022)

The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

A Minimal Substitution Basis for the Kalmár Elementary Functions
by: Prunescu, Mihai, et al.
Published: (2025)

Interpolation above S4
by: Santschi, Simon, et al.
Published: (2026)

A non-uniform view of Craig interpolation in modal logics with linear frames
by: Kurucz, Agi, et al.
Published: (2023)

On Quantifiers for Quantitative Reasoning
by: Capucci, Matteo
Published: (2024)