- 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
The ϱ-Calculus
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (7):97-110 (1981)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
The ϱ‐Calculus.C. K. R. T. Jones & P. J. Kelemen - 1981 - Mathematical Logic Quarterly 27 (7):97-110.
A Single‐Axiom Impligational Calculus of Given Unsolvability.M. D. Gladstone - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (13‐17):193-204.
A Formalisation of The χ0-Valued ŁUkasiewicz Propositional Calculus With Variable Functors.Alan Rose - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (19-20):289-292.
The first‐order theory of the c‐degrees.Paddy Farrinoton - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (26‐29):437-446.
A Formalisation Of TheM-Valued ŁUkasiewicz Propositional Calculus With Super-Designated Truth-Values.Alan Rose - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (19-20):295-298.
A-Minimal Lattices.John L. Hickman - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (10-12):181-191.
Variable truth.M. E. Szabo - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (26‐29):401-414.
Funktionen-Algorithmen und Graphschemata.Günter Asser - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (1-5):20-27.
A Result for π‐Groups.C. H. Applebaum - 1973 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (3‐6):33-35.
Registermaschinen über quotiententermmengen.Michael von Deutsch - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (18):273-288.
Analytics
Added to PP
2015-12-02
Downloads
29 (#569,467)
6 months
5 (#710,311)
2015-12-02
Downloads
29 (#569,467)
6 months
5 (#710,311)
Historical graph of downloads
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-grz79 uwo