Copertina

Proof-theoretic methods in quantifier-free definability

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Kocsis, Zoltan A.
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic Logic in Computer Science 03F03 (Primary) 03B16, 03B20 (Secondary)
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Apartness relations between propositions
di: Kocsis, Zoltan A.
Pubblicazione: (2022)

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

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

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

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

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

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

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

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

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

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

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

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

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

LF: a Foundational Higher-Order-Logic
di: Goodsell, Zachary, et al.
Pubblicazione: (2024)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
di: Galliani, Pietro
Pubblicazione: (2025)

On the Contingency of Logic in Possible World Semantics
di: van der Giessen, Iris, et al.
Pubblicazione: (2025)

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

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

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

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
di: Wang, Shuai
Pubblicazione: (2024)

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

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

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
di: Houérou, Quentin Le, et al.
Pubblicazione: (2026)

Notes on ultrafilter extensions of almost bounded structures
di: Molnár, Zalán
Pubblicazione: (2025)

Tableau Proof Systems for Justification Logics
di: Ghari, Meghdad
Pubblicazione: (2014)

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

Maehara Interpolation in Extensions of R-mingle
di: Fussner, Wesley, et al.
Pubblicazione: (2025)

Revisiting Interpolation in Relevant Logics
di: Fussner, Wesley, et al.
Pubblicazione: (2025)

Uniform Interpolation
di: van Gool, Sam
Pubblicazione: (2025)

Logics of polyhedral reachability
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2024)

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

On Quantifiers for Quantitative Reasoning
di: Capucci, Matteo
Pubblicazione: (2024)

Interpolation in Non-Classical Logics
di: Fussner, Wesley
Pubblicazione: (2025)

Interpolation above S4
di: Santschi, Simon, et al.
Pubblicazione: (2026)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
di: Wolter, Frank, et al.
Pubblicazione: (2024)

Sub-sub-intuitionistic logic
di: Deakin, Jonte, et al.
Pubblicazione: (2024)

A diagrammatic proof-theoretic semantics for the Greimas semiotic square
di: Fowler, Michael
Pubblicazione: (2026)

Positive indiscernibles
di: Kamsma, Mark
Pubblicazione: (2023)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
di: Kołodziejczyk, Leszek Aleksander, et al.
Pubblicazione: (2026)