Base-extension semantics for intuitionistic sentential logic

DOI10.1093/JIGPAL/JZV021MaRDI QIDQ4644597zbMATHOpenAlexFDO

Authors Tor Sandqvist

Publication date 8 January 2019

Published in Logic Journal of the 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)

Recommendations

• Intensional logic in extensional language
• Extensional Logic of Hyperintensions
• On some extensions of intuitionistic logic
• scientific article; zbMATH DE number 1390272
• Extensionalizing intensional second-order logic
• scientific article; zbMATH DE number 2121570
• A semantic hierarchy for intuitionistic logic
• A new semantics for intuitionistic predicate logic
• An extension of the stable semantics via Lukasiewicz logic
• scientific article; zbMATH DE number 6787709

Cited in

(9)

• Failure of completeness in proof-theoretic semantics
• Hypo. A simple constructive semantics for intuitionistic sentential logic, soundness and completeness
• Proof-theoretic semantics: an autobiographical survey
• On Dummett's verificationist justification procedure
• Hypothesis-discharging rules in atomic bases
• scientific article; zbMATH DE number 7700618 (Why is no real title available?)
• Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
• Describing a basis in semireduced form for inference rules of intuitionistic logic
• Proof-theoretic semantics for intuitionistic multiplicative linear logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644597)