Logic reduced to bare (proof-theoretical) bones

DOI10.1007/S10849-015-9214-7MaRDI QIDQ302245zbMATH OpenOpenAlexFDO

Authors Jaroslav Peregrin

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

zbMATH Keywords

inferenceproof theoryintuitionistic logicincompatibility

Mathematics Subject Classification ID

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

Recommendations

• Incompatibility and inference as bases of logic
• Logic as based on incompatibility
• scientific article; zbMATH DE number 3916222
• What is the logic of inference?
• scientific article; zbMATH DE number 2114314

Cites work

• scientific article; zbMATH DE number 3112788 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 709086 (Why is no real title available?)
• scientific article; zbMATH DE number 3099236 (Why is no real title available?)
• A new representation of S5
• Die Widerspruchsfreiheit der Stufenlogik
• Inferentializing semantics
• Modal logic for philosophers
• Modalities and Quantification
• Semantic holism
• Some modifications of Carnap's modal logic
• Truth values and proof theory
• Untersuchungen über das logische Schliessen. I
• What is the logic of inference?

Cited in

(4)

• Logic as based on incompatibility
• Bridging the two plans in the semantics for relevant logic
• What is the logic of inference?
• Incompatibility and inference as bases of logic

This page was built for publication: Logic reduced to bare (proof-theoretical) bones

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