Base-extension semantics for intuitionistic sentential logic

DOI10.1093/JIGPAL/JZV021zbMath1405.03028OpenAlexW2223596223MaRDI QIDQ4644597

Tor Sandqvist

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/3bb39332e00227ec927bda08ff1336a4751de5b3

zbMATH Keywords

completenessintuitionistic logicproof-theoretic semanticsdisjunctionhypothetical reasoningbase-extension semantics

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic ⋮ On Dummett's verificationist justification procedure ⋮ Failure of completeness in proof-theoretic semantics

This page was built for publication: Base-extension semantics for intuitionistic sentential logic