Proof-theoretic semantics and inquisitive logic

DOI10.1007/S10992-021-09596-7zbMath1485.03232OpenAlexW3171816366MaRDI QIDQ2240552

Will Stafford

Publication date: 4 November 2021

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

Full work available at URL: https://doi.org/10.1007/s10992-021-09596-7

zbMATH Keywords

proof-theoretic semanticsinquisitive logicinquisitive semanticsnonstructural logicproof-theoretic validityweak logic

Mathematics Subject Classification ID

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

Related Items (1)

Structural completeness and superintuitionistic inquisitive logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A generalization of inquisitive semantics
• Some results on intermediate constructive logics
• Inquisitive logic
• On maximal intermediate logics with the disjunction property
• Constructivism in mathematics. An introduction. Volume II
• Zur Deutung der intuitionistischen Logik
• Untersuchungen über das logische Schliessen. I
• Validity concepts in proof-theoretic semantics
• Failure of completeness in proof-theoretic semantics
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• A natural extension of natural deduction
• Inquisitive Semantics
• Possible Worlds
• Completeness in Proof-Theoretic Semantics

This page was built for publication: Proof-theoretic semantics and inquisitive logic