×

zbMATH — the first resource for mathematics

Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations. (English) Zbl 0121.25209

PDF BibTeX XML Cite
Full Text: DOI
References:
[1] W. V. Quine,On the logic of quantification. The Journal of Symbolic Logic 11, 1–12, 1945. · Zbl 0060.02203
[2] W. V. Quine,Methods of Logic. New York 1950. · Zbl 0038.14811
[3] D. Hilbert andP. Bernays,Grundlagen der Mathematik. Bd. 2, Supplement III, Berlin 1939. · Zbl 0020.19301
[4] R. Suszko,Syntactic structure and semantical reference. Studia Logica 8, 213–244, 1958; 9, 63–91, 1960.
[5] K. Ajdukiewicz,Sprache und Sinn. Erkenntnis 4, 100–138, 1934.
[6] A. Tarski,Über einige fundamentalen Begriffe der Metamathematik. Comptes Rendus Soc. Sci. Varsovie, Cl III, 20, 22–29, 1930. · JFM 57.1318.03
[7] J. Łoś andR. Suszko,Remarks on sentential logics. Proc. Kon. Neth. Akad. van Weten., Ser. A, 61, 177–183, 1958. · Zbl 0092.24802
[8] R. Suszko,O analitycznych aksjomatach i logicznych regulach wnioskowania (On analytic axioms and logical rules of inference). The Poznań Society of Friends of Sciences, Philosoph. Section, 7, no. 5, 1–30, 1949.
[9] H. Hi\.z,Complete sentential calculus admitting extensions. Summer Institute of Symbolic Logic in 1957 at Cornell University, vol. 2, 260–262.
[10] A. Tarski,Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften I. Monatshefte für Mathematik und Physik 37, 361–404, 1930. · JFM 56.0046.02
[11] J. Słupecki,Über die Regeln des Aussagenkalküls. Studia Logica 1, 19–40, 1953. · Zbl 0059.01403
[12] K. Gödel,Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatshefte für Mathematik und Physik 37, 349–360, 1930. · JFM 56.0046.04
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.