Cover Image

Equiconsistency of the Minimalist Foundation with its classical version

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Maietti, Maria Emilia, Sabelli, Pietro
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A topological counterpart of well-founded trees in dependent type theory
by: Maietti, Maria Emilia, et al.
Published: (2023)

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

A topological reading of inductive and coinductive definitions in Dependent Type Theory
by: Sabelli, Pietro
Published: (2024)

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

Fibred sets within a predicative and constructive effective topos
by: Cioffo, Cipriano Junior, et al.
Published: (2024)

Quasitoposes as elementary quotient completions
by: Maietti, Maria Emilia, et al.
Published: (2021)

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

Quotients, pure existential completions and arithmetic universes
by: Maietti, Maria Emilia, et al.
Published: (2023)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
by: Maietti, Maria Emilia, et al.
Published: (2025)

Semantic Foundations of Reductive Reasoning
by: Gheorghiu, Alexander V., et al.
Published: (2024)

On Small Types in Univalent Foundations
by: de Jong, Tom, et al.
Published: (2021)

Recursive inseparability of classical theories of a binary predicate and non-classical logics of a unary predicate
by: Rybakov, Mikhail
Published: (2025)

Regular non-normal modal classicalities
by: Freire, Alfredo Roque, et al.
Published: (2026)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

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

The external version of a subclassical logic
by: Carrara, Massimiliano, et al.
Published: (2025)

Foundations with Imagination
by: Meadows, Toby
Published: (2026)

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
by: Galmiche, Didier, et al.
Published: (2024)

A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets
by: Edalat, Abbas, et al.
Published: (2026)

More on yet another ideal version of the bounding number
by: Kwela, Adam
Published: (2024)

A logic of judgmental existence and its relation to proof irrelevance
by: Pezlar, Ivo
Published: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

Complexity of the variable-free fragments of non-normal modal logics (extended version)
by: Kudinov, A., et al.
Published: (2025)

Foundations for conditional probability
by: Mečíř, Ladislav
Published: (2019)

Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)
by: Rybakov, M., et al.
Published: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Intuitionistic BV (Extended version)
by: Acclavio, Matteo, et al.
Published: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
by: Rooduijn, Jan, et al.
Published: (2024)

The Baire closure and its logic
by: Bezhanishvili, Guram, et al.
Published: (2021)

Continuous logic in a classical setting
by: Agostini, Claudio, et al.
Published: (2024)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
by: Kaye, George
Published: (2025)

Complexity in finitary argumentation (extended version)
by: Andrews, Uri, et al.
Published: (2025)

Satisfiability in Łukasiewicz logic and its unbounded relative
by: Haniková, Zuzana, et al.
Published: (2025)

Repairing General Game Descriptions (extended version)
by: He, Yifan, et al.
Published: (2025)

Proof Scores: A Survey (full version)
by: Riesco, Adrian, et al.
Published: (2025)

Higher-order Kripke models for intuitionistic and non-classical modal logics
by: Barroso-Nascimento, Victor
Published: (2025)

Foundations of iterated star maps and their use in combinatorics
by: Di Nasso, Mauro, et al.
Published: (2024)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
by: Lyon, Tim S., et al.
Published: (2023)

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

Metric ideals and its Structures Autometrized Lattice Ordered Monoids
by: Ashale, Tekalign Regasa, et al.
Published: (2024)