Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations

DOI10.1007/BF02121212MaRDI QIDQ2626580zbMATH OpenFDO

Authors Roman Suszko

Publication date 1961

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02121212

zbMATH Keywords

mathematical logic

Cites work

• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3032487 (Why is no real title available?)
• scientific article; zbMATH DE number 3057869 (Why is no real title available?)
• On the logic of quantification
• Über die Regeln des Aussagenkalküls

Cited in

(13)

• A survey of deduction theorems for the propositional calculi
• The deduction theorem for Lukasiewicz many-valued propositional calculi
• On certain connections between consequence, inconsistency and completeness
• Some remarks on the concept of completeness of the propositional calculus. I
• Matrix approach in methodology of sentential calculi
• On finitely based consequence operations
• The theory of rejected propositions. II
• When is a schema not a schema? On a remark by Suszko
• Some theorems on abstract logics
• Theory of rejected propositions. I
• Consequence and degrees of truth in many-valued logic
• Note on deducibility and many-valuedness
• Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus

This page was built for publication: Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations

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