- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by J. Reichbach
19 found
Order:
Disambiguations
Disambiguations:
| Juliusz Reichbach [26] | J. Reichbach [5] |
- A note to my paper: "On characterizations of the first-order functional calculus".Juliusz Reichbach - 1961 - Notre Dame Journal of Formal Logic 2 (4):251-252.
- Completeness of the functional calculus of first order.J. Reichbach - 1955 - Studia Logica 2 (1):245-250.
- A note about connection of the first-order functional calculus with many-valued propositional calculi.Juliusz Reichbach - 1964 - Notre Dame Journal of Formal Logic 5 (2):158-160.
- On characterizations of the first-order functional calculus.Juliusz Reichbach - 1961 - Notre Dame Journal of Formal Logic 2 (1):1-15.
- Über den auf alternative und negation aufgebauten aussagenkalkul.Juliusz Reichbach - 1953 - Studia Logica 1 (1):13 - 18.
- On the first-order functional calculus and the truncation of models.Juliusz Reichbach - 1958 - Studia Logica 7 (1):181 - 220.
- On the first-order functional calculus and the truncation of modelsO węższym Rachunku Funkcyjnym i Ucinaniu ModeliОб Узком Функциональном Исчислении И Срезывании Моделей.Juliusz Reichbach - 1958 - Studia Logica 7 (1):181-220.
- A note on theses of the first-order functional calculus.Juliusz Reichbach - 1968 - Notre Dame Journal of Formal Logic 9 (4):335-339.
- Some examples of different methods of formal proofs with generalizations of the satisfiability definition.Juliusz Reichbach - 1969 - Notre Dame Journal of Formal Logic 10 (2):214-224.
- Some methods of formal proofs. III.Juliusz Reichbach - 1971 - Notre Dame Journal of Formal Logic 12 (4):479-482.
- About Connection of the First‐Order Functional Calculus With Many Valued Propositional Calculi.Juliusz Reichbach - 1963 - Mathematical Logic Quarterly 9 (8‐9):117-124.
- About Connection of the First-Order Functional Calculus With Many Valued Propositional Calculi.Juliusz Reichbach - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (8-9):117-124.
- O Alternatywno - negacyjnym rachunku zdań.Juliusz Reichbach - 1950 - Kwartalnik Filozoficzny 19 (3-4):361-365.Export citation
Bookmark - On Generalization of the Satisfiability Definition and Proof Rules With Remarks to my Paper: On Theses of the First‐Order Functional Calculus.Juliusz Reichbach - 1962 - Mathematical Logic Quarterly 8 (3‐4):267-276.
- On Generalization of the Satisfiability Definition and Proof Rules With Remarks to my Paper: On Theses of the First‐Order Functional Calculus.Juliusz Reichbach - 1962 - Mathematical Logic Quarterly 8 (3-4):267-276.No categories
- O pełnosci węzszego rachunku funkcyjnego.Juliusz Reichbach - 1955 - Studia Logica 2 (1):213-228.
- On Theses of the First‐Order Functional Calculus.Juliusz Reichbach - 1961 - Mathematical Logic Quarterly 7 (11‐14):175-184.
- On Theses of the First‐Order Functional Calculus.Juliusz Reichbach - 1961 - Mathematical Logic Quarterly 7 (11-14):175-184.
- Eichholz Thomas. Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 , pp. 19–28. [REVIEW]J. Reichbach - 1959 - Journal of Symbolic Logic 24 (3):241-241.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-7qn45 uwo