Open Research Index

Towards Automated Proof-Theoretic Semantics: Inference-Behaviour Semantics for 3-Dimensional K3 and LP

Sophie Nagler

arXivarxiv/2608.02654Aug 1, 2026cs.LOscore 0

Inference-behaviour Semantics (I-bS) is a sequent calculus-based substructural approach to proof-theoretic semantics (P-tS), focussed on modelling the relationships of connective meanings across different logics. This paper provides a case study of how I-bS can be extended to any finitely multi-dimensional sequent calculus. To this end, we give I-bS for the 3-dimensional sequent calculi K3 (Strong Kleene) and LP (Logic of Paradox). We find that the K3 and LP connectives have the same meaning and that their meaning conservatively extends the meaning of the corresponding classical LK…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2608.02654
curl -X POST /api/v1/records/arxiv/2608.02654/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.02654/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'