Base-extension semantics for intuitionistic sentential logic

DOI10.1093/JIGPAL/JZV021zbMATH Open1405.03028OpenAlexW2223596223MaRDI QIDQ4644597FDOQ4644597

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

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

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)

Cited In (7)

• On Dummett's verificationist justification procedure
• Title not available (Why is that?)
• Failure of completeness in proof-theoretic semantics
• Proof-theoretic semantics: an autobiographical survey
• 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)