141 found
Order:
Disambiguations
Ivo Thomas [138]Ivor Thomas [4]Ivor Bulmer Thomas [1]
  1. A History of Formal Logic.I. M. Bocheński & Ivo Thomas - 1961 - Science and Society 27 (4):492-494.
     
    Export citation  
     
    My bibliography   35 citations  
  2.  2
    Finite Limitations on Dummet's LC.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):170-174.
  3. A History of Formal Logic.Joseph M. Bochenski & Ivo Thomas - 1961 - University of Notre Dame Press.
  4.  1
    Modal Systems in the Neighbourhood of ${\Rm T}$.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (1):59-61.
  5.  6
    Independence of Tarski's Law in Henkin's Propositional Fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):74-78.
  6.  23
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  4
    Universal Variable Non-Tarskian Functors.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (3):221-222.
  8.  17
    Euclid and Ptolemy Albert Lejeune: Euclide et Ptolémée. Deux stades de l'optique géométrique grecque (Université de Louvain, Recueil de Travaux d'Histoire et de Philologie, 3e série, 31e fascicule). 196 pp.; 18 figs. Louvain: Bibliothèque de l'Université, 1948. Paper, fr. 220. [REVIEW]Ivor Thomas - 1950 - The Classical Review 64 (01):23-24.
  9.  8
    On Meredith's Sole Positive Axiom.Ivo Thomas - 1974 - Notre Dame Journal of Formal Logic 15 (3):477-477.
  10.  9
    Three-Valued Propositional Fragments with Classical Implication.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):145-147.
  11.  3
    Shorter Development of an Axiom.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (3):378-378.
  12.  4
    In Memoriam A. N. Prior (1914--1969).Ivo Thomas - 1971 - Notre Dame Journal of Formal Logic 12 (2):129-130.
  13.  15
    A New Decision Procedure for Aristotle's Syllogistic.Ivo Thomas - 1952 - Mind 61 (244):564-566.
  14.  5
    Le Formalisme Logico–Mathématique Et le Problème du Non–Sens.Ivo Thomas - 1959 - Philosophical Studies 9:266-266.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15.  2
    The De Grammatico of St. Anselm: The Theory of Paronymy.Ivo Thomas & Desmond Paul Henry - 1964 - Philosophical Quarterly 16 (64):273.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  5
    Review: Jaakko Hintikka, An Aristotelian Dilemma; Nicholas Rescher, Aristotle's Theory of Modal Syllogisms and Its Interpretation; Storrs McCall, Aristotle's Modal Syllogisms. [REVIEW]Ivo Thomas - 1972 - Journal of Symbolic Logic 37 (2):418-419.
  17.  16
    A 12th Century Paradox of the Infinite.Ivo Thomas - 1958 - Journal of Symbolic Logic 23 (2):133-134.
  18.  4
    Independence of Faris-Rejection-Axioms.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):48-51.
  19.  3
    The Rule of Excision in Positive Implication.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (1):64-64.
  20.  1
    A System of Modal Logic.Ivo Thomas, A. N. Prior & Alan Ross Anderson - 1960 - Journal of Symbolic Logic 25 (3):293-296.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  21.  13
    New Books. [REVIEW]H. H. Price, H. B. Acton, Austin Duncan-Jones, Margaret Macdonald, W. E. H. Whyte, John Munkman, D. P. Henry, A. C. Lloyd, Thomas McPherson, Antony Flew, Stephen Toulmin, J. O. Urmson & Ivo Thomas - 1953 - Mind 62 (247):406-431.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  22. Medieval Logic & Metaphysics.Ivo Thomas & D. P. Henry - 1974 - Philosophical Quarterly 24 (94):71.
  23.  11
    Book Review:The Logical Systems of Lesniewski Eugene C. Luschei. [REVIEW]Ivo Thomas - 1967 - Philosophy of Science 34 (1):79-.
  24.  2
    Hintikka Jaakko. An Aristotelian Dilemma. Ajatus, Vol. 22 , Pp. 87–92.Rescher Nicholas. Aristotle's Theory of Modal Syllogisms and its Interpretation. The Critical Approach to Science and Philosophy, Edited by Bunge Mario, The Free Press of Glencoe, Collier-Macmillan Limited, London 1964, Pp. 152–177. Reprinted in Essays in Philosophical Analysis, by Nicholas Rescher, University of Pittsburgh Press, Pittsburgh 1969, Pp. 33–60.McCall Storrs. Aristotle's Modal Syllogisms. Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1963, VIII + 100 Pp. [REVIEW]Ivo Thomas - 1972 - Journal of Symbolic Logic 37 (2):418-419.
  25.  10
    The Written Liar and Thomas Oliver.Ivo Thomas - 1965 - Notre Dame Journal of Formal Logic 6 (3):201-208.
  26.  7
    Formale Logik.Ivo Thomas - 1959 - New Scholasticism 33 (3):392-395.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  27.  8
    The Christian Challenge to Philosophy.Ivo Thomas - 1953 - Philosophical Studies 3:129-131.
  28. Review: Klixbull Jorgensen, A Classification of Categorical Propositions. [REVIEW]Ivo Thomas - 1967 - Journal of Symbolic Logic 32 (4):545-545.
     
    Export citation  
     
    My bibliography  
  29. Review: Johannes Bendiek, Zur Logischen Struktur der Gottesbeweise. [REVIEW]Ivo Thomas - 1960 - Journal of Symbolic Logic 25 (4):347-348.
    Translate
     
     
    Export citation  
     
    My bibliography  
  30. Decision Procedures for ${\Rm S}2^0$ and ${\Rm T}^0$.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (4):319-320.
  31. A Final Note on S$1\Deg$ and the Brouwerian Axioms. [REVIEW]Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4 (3):231-232.
  32.  4
    Review: Francesca Rivetti Barbo, La Struttura Logica della Prima via per Provare l'Esistanza di Dil: Applicazioni di Logica Simbolica e Nessi di Contenuti. [REVIEW]Ivo Thomas - 1960 - Journal of Symbolic Logic 25 (4):348-349.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  33. Farrago Logica.Ivo Thomas - 1956 - Journal of Symbolic Logic 21 (3):314-315.
  34.  6
    Functional Completeness of Henkin's Propositional Fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (3):107-110.
  35.  7
    In Memoriam: Edward John Lemmon (1930---1966).Ivo Thomas - 1968 - Notre Dame Journal of Formal Logic 9 (1):1-3.
  36.  6
    Formal Logic. By A. N. Prior. (Geoffrey Cumberlege, O.U.P. 1955. Price 35s.).Ivo Thomas - 1956 - Philosophy 31 (119):379-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  6
    Book Review:Apuleian Logic, the Nature, Sources, and Influence of Apuleius's Peri Hermeneias Mark W. Sullivan. [REVIEW]Ivo Thomas - 1968 - Philosophy of Science 35 (2):197-.
  38.  2
    Review: James Wilkinson Miller, Paul Henle, Horace M. Kallen, Susanne K. Langer, The Logic of Terms. [REVIEW]Ivo Thomas - 1951 - Journal of Symbolic Logic 16 (4):287-288.
  39.  2
    Tractatus, Called Afterwards Summule Logicales. [REVIEW]Ivo Thomas - 1975 - Speculum 50 (3):532-533.
    Direct download  
     
    Export citation  
     
    My bibliography  
  40.  5
    Book Review:Probability and Opinion. A Study in the Medieval Presuppositions of Post-Medieval Theories of Probability Edmund F. Byrne. [REVIEW]Ivo Thomas - 1971 - Philosophy of Science 38 (4):616-.
  41.  5
    Axioms for the "Gergonne"-Relations.Ivo Thomas & Don Orth - 1959 - Journal of Symbolic Logic 24 (4):305.
  42.  1
    Klixbüll Jørgensen Chr.. A Classification of Categorical Propositions. Logique Et Analyse, N.S. Vol. 7 , Pp. 233–256.Ivo Thomas - 1968 - Journal of Symbolic Logic 32 (4):545.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43.  1
    Ohnishi Masao and Matsumoto Kazuo. A System for Strict Implication. Proceedings of the Symposium on the Foundations of Mathematics, Held at Katada, Japan, 1962, Sponsored Jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo 1963, Pp. 99–108. , Pp. 183–188.). [REVIEW]Ivo Thomas - 1970 - Journal of Symbolic Logic 35 (2):326.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  1
    Parks R. Zane. On Formalizing Aristotle's Theory of Modal Syllogisms. Notre Dame Journal of Formal Logic, Vol. 13 , Pp. 385–386. [REVIEW]Ivo Thomas - 1973 - Journal of Symbolic Logic 38 (3):519-520.
  45.  1
    Słupecki Jerzy. On Aristotelian Syllogistic. Studia Philosophica , Vol. 4 , Pp. 275–300.Ivo Thomas - 1952 - Journal of Symbolic Logic 17 (3):210-211.
  46.  5
    On a Passage of Aristotle.Ivo Thomas - 1974 - Notre Dame Journal of Formal Logic 15 (2):347-348.
  47.  5
    New Books. [REVIEW]Ivo Thomas - 1953 - Mind 62 (247):102-103.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  48.  5
    Axiom Sets Equivalent to Syllogism and Peirce.Ivo Thomas - 1976 - Notre Dame Journal of Formal Logic 17 (2):248-248.
  49. Review: Antoni Korcik, Contribution to the History of the Classic Theory of Opposition of Assertoric Propositions. [REVIEW]Ivo Thomas - 1959 - Journal of Symbolic Logic 24 (3):215-216.
  50.  4
    Final Word on a Shortest Implicational Axiom.Ivo Thomas - 1970 - Notre Dame Journal of Formal Logic 11 (1):16-16.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 141