Order:
Disambiguations
Ivo Thomas [133]Ivor Thomas [4]Ivor Bulmer Thomas [2]
  1. A History of Formal Logic.I. M. Bocheński & Ivo Thomas - 1961 - Science and Society 27 (4):492-494.
  2.  6
    Language and Logic in the Post-Medieval Period.Ivo Thomas - 1976 - Philosophical Quarterly 26 (102):103-104.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  3.  13
    Finite Limitations on Dummet's LC.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):170-174.
  4.  5
    The Domain of Logic According to Saint Thomas Aquinas.Ivo Thomas - 1968 - Philosophical Quarterly 18 (73):365-366.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  12
    Stoic Logic.Ivo Thomas - 1954 - Philosophical Quarterly 4 (17):383-383.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  9
    Modal Systems in the Neighbourhood of ${\Rm T}$.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (1):59-61.
  7.  15
    A Final Note on S1° and the Brouwerian Axioms.Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4:231.
  8.  14
    Polish Logic 1920-1939.Ivo Thomas - 1969 - Philosophical Review 78 (4):539.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  17
    Independence of Tarski's Law in Henkin's Propositional Fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):74-78.
  10.  19
    In Memoriam A. N. Prior (1914--1969).Ivo Thomas - 1971 - Notre Dame Journal of Formal Logic 12 (2):129-130.
  11.  9
    Shorter Development of an Axiom.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (3):378-378.
  12.  1
    CS: An Extension of CS.Ivo Thomas - 1950 - Journal of Symbolic Logic 15 (2):141-142.
  13.  8
    Universal Variable Non-Tarskian Functors.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (3):221-222.
  14.  25
    A Twelfth Century Paradox of the Infinite.Ivo Thomas - 1958 - Journal of Symbolic Logic 23:133.
  15.  1
    Decision Procedures for S2° and T°.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5:319.
  16.  11
    Medieval Logic & Metaphysics.Ivo Thomas & D. P. Henry - 1974 - Philosophical Quarterly 24 (94):71.
  17.  10
    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  
     
    Bookmark   1 citation  
  18.  17
    On Meredith's Sole Positive Axiom.Ivo Thomas - 1974 - Notre Dame Journal of Formal Logic 15 (3):477-477.
  19.  16
    In Memoriam: Edward John Lemmon (1930---1966).Ivo Thomas - 1968 - Notre Dame Journal of Formal Logic 9 (1):1-3.
  20.  6
    The Logical Systems of Lesniewski.Ivo Thomas - 1967 - Philosophy of Science 34 (1):79-80.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  8
    Tractatus, Called Afterwards Summule Logicales. [REVIEW]Ivo Thomas - 1975 - Speculum 50 (3):532-533.
  22.  8
    Solutions of Five Modal Problems of Sobociński.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):199-200.
  23.  3
    S1° and Brouwerian Axioms.Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4:151.
  24.  3
    The De Grammatico of St. Anselm: The Theory of Paronymy.Ivo Thomas - 1966 - Philosophical Quarterly 16 (64):273.
  25.  3
    The Rule of Excision in Positive Implication.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (1):64-64.
  26.  1
    Farrago Logica.Ivo Thomas - 1956 - Journal of Symbolic Logic 21 (3):314-315.
  27.  1
    A Proof of a Theorem of Ł Ukasiewicz.Ivo Thomas - 1971 - Notre Dame Journal of Formal Logic 12 (4):507-508.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  30
    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.
  29. A History of Formal Logic.Joseph M. Bochenski & Ivo Thomas - 1961 - University of Notre Dame Press.
  30. Some Laws of the Calculus of Quantifiers.Alonzo Church & Ivo Thomas - 1950 - Journal of Symbolic Logic 15 (2):143.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  31.  5
    A Note on Self-Referential Statements.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (3):218-220.
  32.  5
    Axiom Sets Equivalent to Syllogism and Peirce.Ivo Thomas - 1976 - Notre Dame Journal of Formal Logic 17 (2):248-248.
  33. 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.
  34.  5
    Book Review:Galen and the Syllogism Nicholas Rescher. [REVIEW]Ivo Thomas - 1967 - Philosophy of Science 34 (2):198-.
  35.  9
    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-.
  36.  16
    Book Review:The Logical Systems of Lesniewski Eugene C. Luschei. [REVIEW]Ivo Thomas - 1967 - Philosophy of Science 34 (1):79-.
  37.  1
    Decision for $K4$.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (4):337-338.
  38.  16
    Functional Completeness of Henkin's Propositional Fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (3):107-110.
  39.  25
    Formal Logic. By A. N. Prior. (Geoffrey Cumberlege, O.U.P. 1955. Price 35s.).Ivo Thomas - 1956 - Philosophy 31 (119):379-.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  12
    Final Word on a Shortest Implicational Axiom.Ivo Thomas - 1970 - Notre Dame Journal of Formal Logic 11 (1):16-16.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41.  13
    Independence of Faris-Rejection-Axioms.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):48-51.
  42.  19
    Nice Implicational Axioms.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (4):507-508.
  43.  12
    On a Passage of Aristotle.Ivo Thomas - 1974 - Notre Dame Journal of Formal Logic 15 (2):347-348.
  44. One Dimension in PS and PSI.Ivo Thomas - 1976 - Notre Dame Journal of Formal Logic 17 (3):421-423.
  45.  17
    On the Infinity of Positive Logic.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (2):108-108.
  46.  7
    S$1\Deg$ and Generalized S$5$-Axioms. [REVIEW]Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4 (2):153-154.
  47.  9
    Simple Implicational Development.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (2):268-268.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  16
    Three-Valued Propositional Fragments with Classical Implication.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):145-147.
  49.  9
    The Rule of Peirce.Ivo Thomas - 1968 - Notre Dame Journal of Formal Logic 9 (1):34-34.
  50.  53
    The Written Liar and Thomas Oliver.Ivo Thomas - 1965 - Notre Dame Journal of Formal Logic 6 (3):201-208.