Matrix approach in methodology of sentential calculi
- 1 December 1973
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 32 (1) , 7-37
- https://doi.org/10.1007/bf02123806
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Algebraic Completeness Results for Dummett's LC and Its ExtensionsMathematical Logic Quarterly, 1971
- Allgemeine Logische und Mathematische TheorienMathematical Logic Quarterly, 1970
- Kilka uwag o pojęciu zupeŀności rachunku zdań. IStudia Logica, 1968
- Some structure results for propositional calculiThe Journal of Symbolic Logic, 1965
- The independence of connectivesThe Journal of Symbolic Logic, 1962
- Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relationsStudia Logica, 1961
- Remarks on sentential logicsIndagationes Mathematicae, 1958
- Formalna teoria wartości logicznych IStudia Logica, 1957
- The algebraic treatment of the methodology of elementary deductive systemsStudia Logica, 1955
- Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. IMonatshefte für Mathematik, 1930