Logic reduced to bare (proof-theoretical) bones

DOI10.1007/S10849-015-9214-7zbMATH Open1350.03044OpenAlexW2016067711MaRDI QIDQ302245FDOQ302245

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

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

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)

Cites Work

• Untersuchungen über das logische Schliessen. I
• Modal logic for philosophers
• Truth values and proof theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• What is the logic of inference?
• A new representation of S5
• Die Widerspruchsfreiheit der Stufenlogik
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modalities and Quantification
• Some modifications of Carnap's modal logic
• Semantic holism
• Inferentializing semantics

Cited In (4)

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

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)