- 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 Ivo Thomas
122 found
Order:
Disambiguations
Disambiguations:
| Ivo Thomas [120] | Ivor Thomas [3] | Ivor Bulmer Thomas [2] |
- A History of Formal Logic.I. M. Bocheński & Ivo Thomas - 1961 - Science and Society 27 (4):492-494.
- A history of formal logic.Joseph M. Bochenski & Ivo Thomas - 1961 - Notre Dame, Ind.,: University of Notre Dame Press.
- Language and Logic in the Post-Medieval Period.Ivo Thomas - 1976 - Philosophical Quarterly 26 (102):103-104.No categories
- Finite limitations on Dummet's LC.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):170-174.
- The Domain of Logic According to Saint Thomas Aquinas.Ivo Thomas - 1968 - Philosophical Quarterly 18 (73):365-366.No categories
- Modal systems in the neighbourhood of ${\rm T}$.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (1):59-61.
- Independence of Tarski's law in Henkin's propositional fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):74-78.
- A final note on S1° and the Brouwerian axioms.Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4:231.
- CS: An Extension of CS.Ivo Thomas - 1950 - Journal of Symbolic Logic 15 (2):141-142.
- Polish Logic 1920-1939.Ivo Thomas - 1969 - Philosophical Review 78 (4):539.
- In memoriam A. N. Prior (1914--1969).Ivo Thomas - 1971 - Notre Dame Journal of Formal Logic 12 (2):129-130.
- In memoriam: Edward John Lemmon (1930---1966).Ivo Thomas - 1968 - Notre Dame Journal of Formal Logic 9 (1):1-3.
- On a passage of Aristotle.Ivo Thomas - 1974 - Notre Dame Journal of Formal Logic 15 (2):347-348.
- Shorter development of an axiom.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (3):378-378.
- Universal variable non-Tarskian functors.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (3):221-222.
- Decision procedures for S2° and T°.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5:319.
- A Contribution to the Axiomatization of Lewis' System S 5.Ten Modal Models.Nuel D. Belnap, Boleslaw Sobocinski & Ivo Thomas - 1966 - Journal of Symbolic Logic 31 (3):498.
- Some Laws of the Calculus of Quantifiers.Alonzo Church & Ivo Thomas - 1950 - Journal of Symbolic Logic 15 (2):143.
- A note on self-referential statements.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (3):218-220.
- A proof of a theorem of Ł ukasiewicz.Ivo Thomas - 1971 - Notre Dame Journal of Formal Logic 12 (4):507-508.
- Axiom sets equivalent to syllogism and Peirce.Ivo Thomas - 1976 - Notre Dame Journal of Formal Logic 17 (2):248-248.
- A theorem on ${\rm S}4.2$ and ${\rm S}4.4$.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (4):335-336.
- Decision for $K4$.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (4):337-338.
- Functional completeness of Henkin's propositional fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (3):107-110.
- Formal Logic. By A. N. Prior. (Geoffrey Cumberlege, O.U.P. 1955. Price 35s.).Ivo Thomas - 1956 - Philosophy 31 (119):379-.
- Final word on a shortest implicational axiom.Ivo Thomas - 1970 - Notre Dame Journal of Formal Logic 11 (1):16-16.
- Independence of Faris-rejection-axioms.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):48-51.
- Nice implicational axioms.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (4):507-508.
- One dimension in PS and PSI.Ivo Thomas - 1976 - Notre Dame Journal of Formal Logic 17 (3):421-423.
- On Meredith's sole positive axiom.Ivo Thomas - 1974 - Notre Dame Journal of Formal Logic 15 (3):477-477.
- On the infinity of positive logic.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (2):108-108.
- Simple implicational development.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (2):268-268.
- Solutions of five modal problems of Sobociński.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):199-200.
- Three-valued propositional fragments with classical implication.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):145-147.
- The rule of excision in positive implication.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (1):64-64.
- The rule of Peirce.Ivo Thomas - 1968 - Notre Dame Journal of Formal Logic 9 (1):34-34.
- The written liar and Thomas Oliver.Ivo Thomas - 1965 - Notre Dame Journal of Formal Logic 6 (3):201-208.
- Unusual feature of $S3^\ast$.Ivo Thomas - 1973 - Notre Dame Journal of Formal Logic 14 (2):276-276.
- Rules for Syllogisms with the Consideration of Schemata with Negated Subject Terms.Ivo Thomas - 1967 - Journal of Symbolic Logic 32 (4):544-544.
- The Logical Systems of Lesniewski.Ivo Thomas - 1967 - Philosophy of Science 34 (1):79-80.
- On Aristotelian Syllogistic.Ivo Thomas - 1952 - Journal of Symbolic Logic 17 (3):210-211.
- Apuleian Logic, the Nature, Sources, and Influence of Apuleius's Peri Hermeneias. Mark W. Sullivan.Ivo Thomas - 1968 - Philosophy of Science 35 (2):197-198.
- Archimedes E. J. Dijksterhuis: Archimedes. Pp. 422; 173 figs. Copenhagen: Munksgaard, 1956. Paper, Kr. 60.Ivor Bulmer Thomas - 1958 - The Classical Review 8 (01):43-45.
- Axioms for the “Gergonne”-relations.Ivo Thomas & Don Orth - 1959 - Journal of Symbolic Logic 24 (4):305.
- A new decision procedure for Aristotle's syllogistic.Ivo Thomas - 1952 - Mind 61 (244):564-566.
- Axiomatische Probleme in der Klassischen Syllogistik.Ivo Thomas - 1957 - Journal of Symbolic Logic 22 (1):96.
- A System of Modal Logic.Ivo Thomas, A. N. Prior & Alan Ross Anderson - 1960 - Journal of Symbolic Logic 25 (3):293-296.
- A Twelfth century paradox of the infinite.Ivo Thomas - 1958 - Journal of Symbolic Logic 23:133.
- A theorem on S4.2 and S4.4.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8:335.
- Bendiek Johannes. Zur logischen Struktur der Gottesbeweise. Franziskanische Studien, vol. 38 , pp. 1–38, 296–321.Ivo Thomas - 1960 - Journal of Symbolic Logic 25 (4):347-348.
| 1 — 50 / 122 |
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-67c5d994d4-vbbq6 uwo