Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations
From MaRDI portal
Publication:2626580
DOI10.1007/BF02121212zbMath0121.25209MaRDI QIDQ2626580
Publication date: 1961
Published in: Studia Logica (Search for Journal in Brave)
Related Items (13)
Consequence and Degrees of Truth in Many-Valued Logic ⋮ Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus ⋮ Note on deducibility and many-valuedness ⋮ 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 ⋮ When is a schema not a schema? On a remark by Suszko ⋮ Some theorems on abstract logics ⋮ Theory of rejected propositions. I ⋮ The theory of rejected propositions. II
Cites Work
This page was built for publication: Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations