81 found
Sort by:
Disambiguations:
Ivo Thomas [78]Ivor Thomas [2]Ivor Bulmer Thomas [1]
  1. Ivo Thomas (1997). Angell Richard B.. Reasoning and Logic. Appleton-Century-Crofts, New York 1964, Xiv+ 625 Pp. [REVIEW] Journal of Symbolic Logic 31 (4):674-674.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Ivo Thomas (1976). Axiom Sets Equivalent to Syllogism and Peirce. Notre Dame Journal of Formal Logic 17 (2):248-248.
  3. Ivo Thomas (1976). One Dimension in PS and PSI. Notre Dame Journal of Formal Logic 17 (3):421-423.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Ivo Thomas (1975). Nice Implicational Axioms. Notre Dame Journal of Formal Logic 16 (4):507-508.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Ivo Thomas (1975). Shorter Development of an Axiom. Notre Dame Journal of Formal Logic 16 (3):378-378.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Ivo Thomas (1975). Simple Implicational Development. Notre Dame Journal of Formal Logic 16 (2):268-268.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Ivo Thomas (1974). On a Passage of Aristotle. Notre Dame Journal of Formal Logic 15 (2):347-348.
  8. Ivo Thomas (1974). On Meredith's Sole Positive Axiom. Notre Dame Journal of Formal Logic 15 (3):477-477.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Ivo Thomas (1974). Review: Jan Lukasiewicz, Vernon Wedin, On the Principle of Contradiction in Aristotle. [REVIEW] Journal of Symbolic Logic 39 (3):619-619.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Ivo Thomas (1974). Review: Konrad Marc-Wogau, Bemerkungen zu Kants Kritik des Ontologischen Gottesbeweises. [REVIEW] Journal of Symbolic Logic 39 (1):171-171.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Ivo Thomas & D. P. Henry (1974). Medieval Logic & Metaphysics. Philosophical Quarterly 24 (94):71.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Ivo Thomas (1973). Further Extensions of $S3^\Ast$. Notre Dame Journal of Formal Logic 14 (3):423-424.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Ivo Thomas (1973). Unusual Feature of $S3^\Ast$. Notre Dame Journal of Formal Logic 14 (2):276-276.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Ivo Thomas (1973). Review: R. Zane Parks, On Formalizing Aristotle's Theory of Modal Syllogisms. [REVIEW] Journal of Symbolic Logic 38 (3):519-520.
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Ivo Thomas (1972). Review: Jaakko Hintikka, An Aristotelian Dilemma; Nicholas Rescher, Aristotle's Theory of Modal Syllogisms and Its Interpretation; Storrs McCall, Aristotle's Modal Syllogisms. [REVIEW] Journal of Symbolic Logic 37 (2):418-419.
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Ivo Thomas (1971). A Proof of a Theorem of Ł Ukasiewicz. Notre Dame Journal of Formal Logic 12 (4):507-508.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  17. Ivo Thomas (1971). Book Review:Probability and Opinion. A Study in the Medieval Presuppositions of Post-Medieval Theories of Probability Edmund F. Byrne. [REVIEW] Philosophy of Science 38 (4):616-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Ivo Thomas (1971). In Memoriam A. N. Prior (1914--1969). Notre Dame Journal of Formal Logic 12 (2):129-130.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. Ivo Thomas (1970). Final Word on a Shortest Implicational Axiom. Notre Dame Journal of Formal Logic 11 (1):16-16.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. Ivo Thomas (1970). Review: Masao Ohnishi, Kazuo Matsumoto, A System for Strict Implication. [REVIEW] Journal of Symbolic Logic 35 (2):326-326.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Ivo Thomas (1968). Book Review:Apuleian Logic, the Nature, Sources, and Influence of Apuleius's Peri Hermeneias Mark W. Sullivan. [REVIEW] Philosophy of Science 35 (2):197-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Ivo Thomas (1968). In Memoriam: Edward John Lemmon (1930---1966). Notre Dame Journal of Formal Logic 9 (1):1-3.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  23. Ivo Thomas (1968). The Rule of Peirce. Notre Dame Journal of Formal Logic 9 (1):34-34.
  24. Ivo Thomas (1968). Review: Chr. Klixbull Jorgensen, The Extensional Classification of Categorical Propositions and Trivalent Logic. [REVIEW] Journal of Symbolic Logic 33 (3):483-483.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. Ivo Thomas (1968). Replacement in Some Modal Systems. Journal of Symbolic Logic 33 (4):569-570.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  26. Ivo Thomas (1967). A Theorem on ${\Rm S}4.2$ and ${\Rm S}4.4$. Notre Dame Journal of Formal Logic 8 (4):335-336.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  27. Ivo Thomas (1967). Book Review:Galen and the Syllogism Nicholas Rescher. [REVIEW] Philosophy of Science 34 (2):198-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. Ivo Thomas (1967). Book Review:The Logical Systems of Lesniewski Eugene C. Luschei. [REVIEW] Philosophy of Science 34 (1):79-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. Ivo Thomas (1967). Book Review:Fundamentals of Logic James D. Carney, Richard K. Scheer. [REVIEW] Philosophy of Science 34 (1):76-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. Ivo Thomas (1967). Book Review:Introduction to Logic William of Sherwood, Norman Kretzmann. [REVIEW] Philosophy of Science 34 (3):295-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. Ivo Thomas (1967). Decision for $K4$. Notre Dame Journal of Formal Logic 8 (4):337-338.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Ivo Thomas (1967). Three-Valued Propositional Fragments with Classical Implication. Notre Dame Journal of Formal Logic 8 (1-2):145-147.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  33. Ivo Thomas (1967). Review: Klixbull Jorgensen, A Classification of Categorical Propositions. [REVIEW] Journal of Symbolic Logic 32 (4):545-545.
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Ivo Thomas (1967). Review: Stanislaw Kaminski, Rules for Syllogisms with the Consideration of Schemata with Negated Subject Terms. [REVIEW] Journal of Symbolic Logic 32 (4):544-544.
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Ivo Thomas (1967). Review: The Logical Systems of Le'sniewski} by E. Luschei. [REVIEW] Philosophy of Science 34 (1):79-80.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  36. Ivo Thomas (1966). Review: Richard B. Angell, Reasoning and Logic. [REVIEW] Journal of Symbolic Logic 31 (4):674-674.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. Ivo Thomas & Desmond Paul Henry (1966). The De Grammatico of St. Anselm: The Theory of Paronymy. Philosophical Quarterly 16 (64):273.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  38. Ivo Thomas (1965). The Written Liar and Thomas Oliver. Notre Dame Journal of Formal Logic 6 (3):201-208.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. Ivo Thomas (1965). Review: Gerald B. Standley, Two Arithmetical Techniques with Numbered Classes. [REVIEW] Journal of Symbolic Logic 30 (3):376-376.
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. Ivo Thomas (1964). A Note on Self-Referential Statements. Notre Dame Journal of Formal Logic 5 (3):218-220.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. Ivo Thomas (1964). Decision Procedures for ${\Rm S}2^0$ and ${\Rm T}^0$. Notre Dame Journal of Formal Logic 5 (4):319-320.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42. Ivo Thomas (1964). Modal Systems in the Neighbourhood of ${\Rm T}$. Notre Dame Journal of Formal Logic 5 (1):59-61.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  43. Ivo Thomas (1964). Universal Variable Non-Tarskian Functors. Notre Dame Journal of Formal Logic 5 (3):221-222.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  44. Ivo Thomas (1964). Review: Ivan Boh, A Study in Burleigh: Tractatus de Regulis Generalibus Consequentiarum. [REVIEW] Journal of Symbolic Logic 29 (2):91-92.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. Ivo Thomas (1964). Ten Modal Models. Journal of Symbolic Logic 29 (3):125-128.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  46. Ivo Thomas (1963). A Final Note on S$1\Deg$ and the Brouwerian Axioms. [REVIEW] Notre Dame Journal of Formal Logic 4 (3):231-232.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  47. Ivo Thomas (1963). S$1\Deg $ and Brouwerian Axioms. [REVIEW] Notre Dame Journal of Formal Logic 4 (2):151-152.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  48. Ivo Thomas (1963). S$1\Deg$ and Generalized S$5$-Axioms. [REVIEW] Notre Dame Journal of Formal Logic 4 (2):153-154.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  49. Ivo Thomas (1962). Finite Limitations on Dummet's LC. Notre Dame Journal of Formal Logic 3 (3):170-174.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. Ivo Thomas (1962). On the Infinity of Positive Logic. Notre Dame Journal of Formal Logic 3 (2):108-108.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 81