Library

Logics and Admissible Rules of Constructive Set Theories

We survey the logical structure of constructive set theories and point towards directions for future research. Moreover, we analyse the consequences of being extensible for the logical structure of a given constructive set theory. We finally provide examples of a number of set theories that are extensible.

Logic, Reasoning, and KnowledgeAdvanced Algebra and LogicSemantic Web and Ontologies
Source

Paper

Similar papers

On the Existence and Disjunction Properties in Structural Set TheoryMark Saving2023 · arXiv (Cornell University) In Library
Set theory as a computational logic: I. from foundations to functionsLawrence C. Paulson2021 In Library
A Unifying Conservation TheoremGiulio Fellin2026 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) In Library
A FORMALISATION OF CONSTRUCTIVE EVIDENCE-BASED REASONING: CONSTRUCTING JUSTIFICATIONSJuan C. Agudelo-Agudelo, Walter Carnielli2025 · Bulletin of Symbolic Logic In Library
Tableaux for Logics of Content Relationship and Set-Assignment SemanticsTomasz Jarmużek, Mateusz Klonowski2022 · Logica Universalis In Library
Extending ASP Based Reasoning to Expressive Constructive Description LogicsLoris Bozzato2020 · IrInSubria (University of Insubria) In Library
A construction of set theoryFrank Quinn2020 · arXiv (Cornell University) In Library
Simple Tableaus for Simple LogicsMelvin Fitting2024 · Notre Dame Journal of Formal Logic In Library
Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal LogicsAmirhossein Akbar Tabatabai, Raheleh Jalali2022 · arXiv (Cornell University) In Library
A Constructive Logic with Classical Proofs and Refutations (Extended\n Version)Pablo Barenbaum, Teodoro Freund2021 · arXiv (Cornell University) In Library
© 2026 NYSGPT2525 LLC