Copertina

The Compatibility of the Minimalist Foundation with Homotopy Type Theory

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Contente, Michele, Maietti, Maria Emilia
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Logic 03B38, 03F50, 03F04
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

A minimalist two-level foundation for constructive mathematics
di: Maietti, Maria Emilia
Pubblicazione: (2008)

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

Hierarchical formula classes with respect to semi-classical prenex normalization
di: Fujiwara, Makoto, et al.
Pubblicazione: (2025)

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

Lewis and Brouwer meet Strong Löb
di: Visser, Albert, et al.
Pubblicazione: (2024)

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

On logical parameterizations and functional representability in local set theories
di: Hernández, Enrique Ruiz, et al.
Pubblicazione: (2021)

A vector logic for extensional formal semantics
di: Quigley, Daniel
Pubblicazione: (2024)

The proof-theoretic strength of Constructive Second-order set theories
di: Jeon, Hanul
Pubblicazione: (2023)

Algorithmic correspondence and analytic rules
di: De Domenico, Andrea, et al.
Pubblicazione: (2022)

Examples and counterexamples of injective types
di: de Jong, Tom, et al.
Pubblicazione: (2026)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
di: Stanković, Marko, et al.
Pubblicazione: (2025)

Meaning as Use, Application, Employment, Purpose, Usefulness
di: de Queiroz, Ruy J. G. B.
Pubblicazione: (2025)

From the Notebooks to the Investigations and Beyond
di: de Queiroz, Ruy J. G. B.
Pubblicazione: (2025)

The Myhill isomorphism theorem does not generalize much
di: Pradic, Cécilia
Pubblicazione: (2025)

Herbrandized modified realizability
di: Ferreira, Gilda, et al.
Pubblicazione: (2024)

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

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

Encoding Sequences in Intuitionistic Real Algebra
di: Erdélyi-Szabó, Miklós
Pubblicazione: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
di: Erdélyi-Szabó, Miklós
Pubblicazione: (2024)

On the Various Translations between Classical, Intuitionistic and Linear Logic
di: Ferreira, Gilda, et al.
Pubblicazione: (2024)

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

Non-Standard Models of Homotopy Type Theory
di: Rasekh, Nima
Pubblicazione: (2025)

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

The Uniform Functional Interpretation with Informative Types
di: Ferreira, Fernando, et al.
Pubblicazione: (2025)

Weak and Strong Versions of Effective Transfinite Recursion
di: Uftring, Patrick
Pubblicazione: (2022)

Cut-free sequent calculi for the provability logic D
di: Kashima, Ryo, et al.
Pubblicazione: (2023)

Avoiding logical strength in real analysis
di: Freund, Anton, et al.
Pubblicazione: (2026)

Completions of Restricted Complexity I, Weak Arithmetical Theories
di: Enayat, Ali, et al.
Pubblicazione: (2025)

A vector logic for intensional formal semantics
di: Quigley, Daniel
Pubblicazione: (2026)

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

Intuitionistic Common Knowledge
di: Zenger, Lukas
Pubblicazione: (2026)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
di: Rasekh, Nima
Pubblicazione: (2025)

On inverse Goodstein sequences
di: Uftring, Patrick
Pubblicazione: (2023)

Induction on Dilators and Bachmann-Howard Fixed Points
di: Aguilera, Juan P., et al.
Pubblicazione: (2024)

Reduced Set Theory
di: Kunik, Matthias
Pubblicazione: (2023)

The behavior of higher proof theory I: Case $Σ^1_2$
di: Jeon, Hanul
Pubblicazione: (2024)

Herbrand's Theorem: a short statement and a model-theoretic proof
di: Badano, Mariana
Pubblicazione: (2025)

On the hierarchy of natural theories
di: Walsh, James
Pubblicazione: (2021)