Logic reduced to bare (proof-theoretical) bones
From MaRDI portal
Publication:302245
DOI10.1007/s10849-015-9214-7zbMath1350.03044OpenAlexW2016067711MaRDI QIDQ302245
Publication date: 5 July 2016
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-015-9214-7
Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Some modifications of Carnap's modal logic
- Semantic holism
- Inferentializing semantics
- Truth values and proof theory
- Untersuchungen über das logische Schliessen. I
- What is the logic of inference?
- A new representation of S5
- Die Widerspruchsfreiheit der Stufenlogik
- Modalities and Quantification