Buchumschlag

A note on schematic validity and completeness in Prawitz's 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

Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
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)

Uniform validity of atomic Split rule in 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)

Some results in non-monotonic proof-theoretic semantics
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)

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

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

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

Independence questions in a finite axiom-schematization of first-order logic
von: Jubin, Benoit
Veröffentlicht: (2022)

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

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

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

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)

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

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

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

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

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

A note on Stone-Čech compactification in ZFA
von: Przybyłek, Michał R.
Veröffentlicht: (2023)

Compactness in team semantics
von: Joni Puljujärvi, et al.
Veröffentlicht: (2024)

Yet another cubical type theory, but via a semantic approach
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

An essentially algebraic glance to Kripke semantics: the S5 case
von: De Berardinis, Matteo, et al.
Veröffentlicht: (2025)

Game semantics for lattice-based modal μ-calculus
von: Ding, Yiwen, et al.
Veröffentlicht: (2023)

A unified relational semantics for BPL, IPL and OL -- axiomatization without disjunction
von: Chen, Zhicheng
Veröffentlicht: (2022)

T-BAT semantics and its logics
von: Pawlowski, Pawel
Veröffentlicht: (2025)

Provability interpretation of non-normal modal logics having neighborhood semantics
von: Kogure, Haruka
Veröffentlicht: (2025)

Structural completeness in quasivarieties
von: Aglianó, Paolo, et al.
Veröffentlicht: (2024)

Modular many-valued semantics for combined logics
von: Caleiro, Carlos, et al.
Veröffentlicht: (2022)

The complete classification for quantified equality constraints
von: Zhuk, Dmitriy, et al.
Veröffentlicht: (2021)

On Kleisli liftings and decorated trace semantics
von: Luckhardt, Daniel, et al.
Veröffentlicht: (2024)

A note on stable Kim-forking
von: Bossut, Yvon
Veröffentlicht: (2025)

A note on $μ$-stabilizers in ACVF
von: Ye, Jinhe
Veröffentlicht: (2019)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
von: Hansen, Helle Hvid, et al.
Veröffentlicht: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
von: de Jong, Tom
Veröffentlicht: (2024)

A short note on model theory of C((t))
von: Zhang, Zhentao
Veröffentlicht: (2025)

A note on the modal logic of symmetric extensions
von: Duncan, Hope
Veröffentlicht: (2026)

Cauchy-completions and the rule of unique choice in relational doctrines
von: Dagnino, Francesco, et al.
Veröffentlicht: (2024)

The completeness and congruences of quasi-Boolean algebras
von: Liu, Xiaohao, et al.
Veröffentlicht: (2025)