Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 , pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 , pp. 155–156 [Book Review]
Journal of Symbolic Logic 39 (2):351-351 (1974)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2272698
My notes
Similar books and articles
Nakamura Akira. On the infinitely many-valued double-threshold logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 93–101. Nakamura Akira. On a certain system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 203–207. [REVIEW]Arto Salomaa - 1966 - Journal of Symbolic Logic 31 (4):665-665.
On a Certain System of Modal Logic.Akira Nakamura - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (3):203-207.
A Remark on the Truth-Value Stipulation for the Modal System M′.A. Nakamura - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (1-2):11-14.
On a paper of akira nakamura.R. A. Bull - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):155-156.
On a Simple Axiomatic System of the Infinitely Many-Valued Logic Based on ∧, →.Akira Nakamura - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (16-17):251-263.
On an Axiomatic System of the Infinitely Many-Valued Threshold Logics.Akira Nakamura - 1962 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 8 (1):71-76.
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik:On On an Axiomatic System of the Infinitely Many-Valued Threshold Logics.Akira Nakamura - 1965 - Journal of Symbolic Logic 30 (3):374-375.
On an Axiomatic System of the Infinitely Many-Valued Threshold Predicate Calculi.Akira Nakamura - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (21):321-329.
Truth-value stipulations for the Von Wright system m′ and the Heyting system.Akira Nakamura - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (9-12):173-183.
On the Infinitely Many-Valued Threshold Logics and von Wright's System M″.Akira Nakamura - 1962 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 8 (2):147-164.
Bull R. A.. A note on the modal calculi S4.2 and S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 53–55.Bull R. A.. A class of extensions of the modal system S4 with the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 127–132.Bull R. A.. That all normal extensions of S4.3 have the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 341–344. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.
On the Infinitely Many-Valued Double-Threshold Logic.Akira Nakamura - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):93-101.
Review: Akira Nakamura, A Remark on the Truth-Value Stipulation for the Modal System $M$'; Akira Nakamura, On an Axiomatic System of Modal Logic; R. A. Bull, On a Paper of Akira Nakamura. [REVIEW]M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
A Note on Truth-Value Functions in the Infinitely Many-Valued Logics.Akira Nakamura - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (8-9):141-144.
Harrop Ronald. On the recursivity of finite sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 136–140.Hořejš Jiří. Note on definition of recursiveness. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 119–120. [REVIEW]Charles Parsons - 1968 - Journal of Symbolic Logic 33 (1):115-115.
Analytics
Added to PP
2016-06-30
Downloads
5 (#1,169,879)
6 months
1 (#450,993)
2016-06-30
Downloads
5 (#1,169,879)
6 months
1 (#450,993)
Historical graph of downloads
