Base-extension semantics for intuitionistic sentential logic

DOI10.1093/JIGPAL/JZV021MaRDI QIDQ4644597zbMATH OpenOpenAlexFDO

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

base-extension semanticscompletenessdisjunctionhypothetical reasoningintuitionistic logicproof-theoretic semantics

Mathematics Subject Classification ID

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

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

(25)

• Failure of completeness in proof-theoretic semantics
• Describing a basis in semireduced form for inference rules of intuitionistic logic
• scientific article; zbMATH DE number 4212000 (Why is no real title available?)
• scientific article; zbMATH DE number 4212001 (Why is no real title available?)
• Hypo. A simple constructive semantics for intuitionistic sentential logic, soundness and completeness
• 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
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• Proof-theoretic semantics: an autobiographical survey
• Inferentialist resource semantics
• Base-extension semantics for intuitionistic modal logics (extended abstract)
• A sequent calculus perspective on base-extension semantics
• A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
• Base-extension semantics for S5 modal logic
• Base-extension semantics for modal logic
• On an inferential semantics for intuitionistic sentential logic
• Proof-theoretic semantics for first-order logic
• Categorical proof-theoretic semantics
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• Classical logic, uniformity, and weak excluded middle in non-monotonic proof-theoretic semantics
• From proof-theoretic validity to base-extension semantics for intuitionistic propositional logic
• A proof-theoretic approach to the semantics of classical linear logic
• Bilateral base-extension semantics

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)