Imagen de Portada

A completeness theorem in proof-theoretic semantics via set-theoretic semantics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Takemura, Ryo
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

An ecumenical view of proof-theoretic semantics
por: Nascimento, Victor, et al.
Publicado: (2023)

Some results in non-monotonic proof-theoretic semantics
por: d'Aragona, Antonio Piccolomini
Publicado: (2025)

Uniform validity of atomic Split rule in monotonic proof-theoretic semantics
por: d'Aragona, Antonio Piccolomini
Publicado: (2025)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
por: d'Aragona, Antonio Piccolomini
Publicado: (2025)

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

The proof theory and semantics of second-order (intuitionistic) tense logic
por: Becker, Justus, et al.
Publicado: (2026)

A proof-theoretic approach to abstract interpretation
por: D'Silva, Vijay, et al.
Publicado: (2026)

A model theoretic proof for o-minimal coherence theorem
por: Fu, Yayi
Publicado: (2023)

A note on schematic validity and completeness in Prawitz's semantics
por: d'Aragona, Antonio Piccolomini
Publicado: (2025)

Bilateral base-extension semantics
por: Barroso-Nascimento, Victor, et al.
Publicado: (2025)

Filling in the semantics for intuitionistic conditional logic
por: Dufty, Brendan, et al.
Publicado: (2025)

Denotational semantics driven simplicial homology?
por: Barbarossa, Davide
Publicado: (2024)

A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications
por: Pischke, Nicholas
Publicado: (2023)

Relational semantics for flat Heyting-Lewis Logic
por: de Groot, Jim, et al.
Publicado: (2026)

Compactness in team semantics
por: Joni Puljujärvi, et al.
Publicado: (2024)

On semantics of first-order justification logic with binding modalities
por: Yavorskaya, Tatiana, et al.
Publicado: (2025)

Syntax and semantics of multi-adjoint normal logic programming
por: Cornejo, M. Eugenia, et al.
Publicado: (2024)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
por: Herbelin, Hugo, et al.
Publicado: (2024)

Generalized Epstein semantics for Parry systems
por: Zamperlin, Nicolò
Publicado: (2024)

Generalized quantifiers using team semantics
por: Engström, Fredrik
Publicado: (2024)

Yet another cubical type theory, but via a semantic approach
por: Kapulkin, Chris, et al.
Publicado: (2025)

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

Tarski's least fixed point theorem: A predicative type theoretic formulation
por: Ray, Ian
Publicado: (2024)

There are (other) ways to negate in propositional team semantics
por: Yang, Fan
Publicado: (2024)

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

T-BAT semantics and its logics
por: Pawlowski, Pawel
Publicado: (2025)

Characterizing fragments of collection principle in set theory with model theoretic properties
por: Chen, Junhong
Publicado: (2025)

Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference
por: Ehrhard, Thomas, et al.
Publicado: (2024)

A proof-theoretic approach to uniform interpolation property of multi-agent modal logic
por: Su, Youan
Publicado: (2025)

An essentially algebraic glance to Kripke semantics: the S5 case
por: De Berardinis, Matteo, et al.
Publicado: (2025)

Game semantics for lattice-based modal μ-calculus
por: Ding, Yiwen, et al.
Publicado: (2023)

On Kleisli liftings and decorated trace semantics
por: Luckhardt, Daniel, et al.
Publicado: (2024)

Modular many-valued semantics for combined logics
por: Caleiro, Carlos, et al.
Publicado: (2022)

A set-theoretical approach for ABox reasoning services (Extended Version)
por: Cantone, Domenico, et al.
Publicado: (2017)

The transcendence degree of the reals over certain set-theoretical subfields
por: Fatalini, Azul, et al.
Publicado: (2024)

Proof-theoretic Semantics for Second-order Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

Countability constraints in order-theoretic approaches to computability
por: Hack, Pedro, et al.
Publicado: (2022)

Proof-theoretic Semantics for the Logic of Bunched Implications
por: Gu, Tao, et al.
Publicado: (2023)

Proof-theoretic Semantics for First-order Logic
por: Gheorghiu, Alexander V.
Publicado: (2024)

Higher-order bialgebraic semantics
por: Goncharov, Sergey, et al.
Publicado: (2024)