104 found
Order:
Disambiguations
Ivo Thomas [118]Ivor Thomas [3]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.  13
    A history of formal logic.Joseph M. Bochenski & Ivo Thomas - 1961 - Notre Dame, Ind.,: University of Notre Dame Press.
  3.  20
    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  
  4.  25
    Finite limitations on Dummet's LC.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):170-174.
  5.  20
    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  
  6.  19
    Modal systems in the neighbourhood of ${\rm T}$.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (1):59-61.
  7.  5
    CS: An Extension of CS.Ivo Thomas - 1950 - Journal of Symbolic Logic 15 (2):141-142.
  8.  36
    Independence of Tarski's law in Henkin's propositional fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):74-78.
  9.  13
    A final note on S1° and the Brouwerian axioms.Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4:231.
  10.  28
    Polish Logic 1920-1939.Ivo Thomas - 1969 - Philosophical Review 78 (4):539.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  35
    In memoriam A. N. Prior (1914--1969).Ivo Thomas - 1971 - Notre Dame Journal of Formal Logic 12 (2):129-130.
  12.  38
    In memoriam: Edward John Lemmon (1930---1966).Ivo Thomas - 1968 - Notre Dame Journal of Formal Logic 9 (1):1-3.
  13.  24
    On a passage of Aristotle.Ivo Thomas - 1974 - Notre Dame Journal of Formal Logic 15 (2):347-348.
  14.  24
    Shorter development of an axiom.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (3):378-378.
  15.  20
    Universal variable non-Tarskian functors.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (3):221-222.
  16.  16
    Decision procedures for S2° and T°.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5:319.
  17.  27
    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.
  18.  13
    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  
  19.  20
    A note on self-referential statements.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (3):218-220.
  20.  19
    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  
  21.  15
    Axiom sets equivalent to syllogism and Peirce.Ivo Thomas - 1976 - Notre Dame Journal of Formal Logic 17 (2):248-248.
  22.  15
    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.
  23.  11
    Decision for $K4$.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (4):337-338.
  24.  26
    Functional completeness of Henkin's propositional fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (3):107-110.
  25.  39
    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  
  26.  22
    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  
  27.  26
    Independence of Faris-rejection-axioms.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):48-51.
  28.  34
    Nice implicational axioms.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (4):507-508.
  29.  9
    One dimension in PS and PSI.Ivo Thomas - 1976 - Notre Dame Journal of Formal Logic 17 (3):421-423.
  30.  26
    On Meredith's sole positive axiom.Ivo Thomas - 1974 - Notre Dame Journal of Formal Logic 15 (3):477-477.
  31.  30
    On the infinity of positive logic.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (2):108-108.
  32.  16
    Simple implicational development.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (2):268-268.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  26
    Solutions of five modal problems of Sobociński.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):199-200.
  34.  22
    Three-valued propositional fragments with classical implication.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):145-147.
  35.  13
    The rule of excision in positive implication.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (1):64-64.
  36.  18
    The rule of Peirce.Ivo Thomas - 1968 - Notre Dame Journal of Formal Logic 9 (1):34-34.
  37.  67
    The written liar and Thomas Oliver.Ivo Thomas - 1965 - Notre Dame Journal of Formal Logic 6 (3):201-208.
  38.  18
    (1 other version)Unusual feature of $S3^\ast$.Ivo Thomas - 1973 - Notre Dame Journal of Formal Logic 14 (2):276-276.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  39.  10
    (1 other version)Rules for Syllogisms with the Consideration of Schemata with Negated Subject Terms.Ivo Thomas - 1967 - Journal of Symbolic Logic 32 (4):544-544.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  18
    (1 other version)The Logical Systems of Lesniewski.Ivo Thomas - 1967 - Philosophy of Science 34 (1):79-80.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  10
    (2 other versions)On Aristotelian Syllogistic.Ivo Thomas - 1952 - Journal of Symbolic Logic 17 (3):210-211.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  18
    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.
  43.  30
    Axioms for the “Gergonne”-relations.Ivo Thomas & Don Orth - 1959 - Journal of Symbolic Logic 24 (4):305.
  44.  35
    A new decision procedure for Aristotle's syllogistic.Ivo Thomas - 1952 - Mind 61 (244):564-566.
  45.  33
    Axiomatische Probleme in der Klassischen Syllogistik.Ivo Thomas - 1957 - Journal of Symbolic Logic 22 (1):96.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46.  21
    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  
  47.  19
    A Twelfth century paradox of the infinite.Ivo Thomas - 1958 - Journal of Symbolic Logic 23:133.
  48.  15
    A theorem on S4.2 and S4.4.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8:335.
  49.  11
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  11
    Boethius' Locus a Repugnantibus.Ivo Thomas - 1956 - Journal of Symbolic Logic 21 (3):315-316.
1 — 50 / 104