Buchumschlag

Uniform validity of atomic Split rule in monotonic proof-theoretic semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	d'Aragona, Antonio Piccolomini
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Some results in non-monotonic proof-theoretic semantics
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

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

A note on schematic validity and completeness in Prawitz's semantics
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

Sundholm's explanation of meaning: logical atavism and the nature of proofs
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

Calculi of epistemic grounding based on Prawitz's theory of grounds
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

Game of grounds
von: Catta, Davide, et al.
Veröffentlicht: (2025)

An ecumenical view of proof-theoretic semantics
von: Nascimento, Victor, et al.
Veröffentlicht: (2023)

A completeness theorem in proof-theoretic semantics via set-theoretic semantics
von: Takemura, Ryo
Veröffentlicht: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

A proof-theoretic approach to abstract interpretation
von: D'Silva, Vijay, et al.
Veröffentlicht: (2026)

A diagrammatic proof-theoretic semantics for the Greimas semiotic square
von: Fowler, Michael
Veröffentlicht: (2026)

A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications
von: Pischke, Nicholas
Veröffentlicht: (2023)

A model theoretic proof for o-minimal coherence theorem
von: Fu, Yayi
Veröffentlicht: (2023)

Model-theoretic properties of nilpotent groups and Lie algebras
von: d'Elbée, Christian, et al.
Veröffentlicht: (2023)

Bilateral base-extension semantics
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference
von: Ehrhard, Thomas, et al.
Veröffentlicht: (2024)

Filling in the semantics for intuitionistic conditional logic
von: Dufty, Brendan, et al.
Veröffentlicht: (2025)

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

Denotational semantics driven simplicial homology?
von: Barbarossa, Davide
Veröffentlicht: (2024)

A proof-theoretic approach to uniform interpolation property of multi-agent modal logic
von: Su, Youan
Veröffentlicht: (2025)

Intuitionistic monotone modal logic via translation
von: de Groot, Jim
Veröffentlicht: (2025)

Relational semantics for flat Heyting-Lewis Logic
von: de Groot, Jim, et al.
Veröffentlicht: (2026)

Convex algebras on an interval with semicontinuous monotone operations
von: Sokolova, Ana, et al.
Veröffentlicht: (2026)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

Syntax and semantics of multi-adjoint normal logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

Constructive validity of a generalized Kreisel-Putnam rule
von: Pezlar, Ivo
Veröffentlicht: (2023)

Coalgebraic proof translations for non-wellfounded proofs
von: Miranda, Borja Sierra, et al.
Veröffentlicht: (2025)

Game-theoretic variants of cardinal invariants
von: Chapital, Jorge Antonio Cruz, et al.
Veröffentlicht: (2023)

Game-theoretic variants of splitting number
von: Chapital, Jorge Antonio Cruz, et al.
Veröffentlicht: (2024)

Uniform interpolation with constructive diamond
von: van der Giessen, Iris, et al.
Veröffentlicht: (2026)

Generalized Epstein semantics for Parry systems
von: Zamperlin, Nicolò
Veröffentlicht: (2024)

Generalized quantifiers using team semantics
von: Engström, Fredrik
Veröffentlicht: (2024)

Bijective proofs for Eulerian numbers of types B and D
von: Santocanale, Luigi
Veröffentlicht: (2021)

The strength of the dominance rule
von: Kołodziejczyk, Leszek Aleksander, et al.
Veröffentlicht: (2024)

There are (other) ways to negate in propositional team semantics
von: Yang, Fan
Veröffentlicht: (2024)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Countability constraints in order-theoretic approaches to computability
von: Hack, Pedro, et al.
Veröffentlicht: (2022)

Proof-theoretic Semantics for the Logic of Bunched Implications
von: Gu, Tao, et al.
Veröffentlicht: (2023)