134 found
Order:
Disambiguations
Ivo Thomas [120]I. Thomas [5]Ioannes Thomas [4]Ivor Thomas [3]
Ivor Bulmer Thomas [2]Italy) Thomas [2]Itiel Dror & Thomas [1]Irein A. Thomas [1]

Not all matches are shown. Search with initial or firstname to single out others.

See also
Ian Thomas
University of Toronto
  1. A History of Formal Logic.I. M. Bocheński & Ivo Thomas - 1961 - Science and Society 27 (4):492-494.
  2.  6
    A history of formal logic.Joseph M. Bochenski & Ivo Thomas - 1961 - Notre Dame, Ind.,: University of Notre Dame Press.
  3.  11
    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.  19
    Finite limitations on Dummet's LC.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):170-174.
  5. Calculi of Pure Strict Implication.E. J. Lemon, C. A. Meredith, D. Meredith, A. N. Prior & I. Thomas - 1958 - Studia Logica 8:331-333.
     
    Export citation  
     
    Bookmark   12 citations  
  6.  10
    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  
  7.  12
    Modal systems in the neighbourhood of ${\rm T}$.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (1):59-61.
  8.  24
    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.  18
    A final note on S1° and the Brouwerian axioms.Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4:231.
  10.  3
    CS: An Extension of CS.Ivo Thomas - 1950 - Journal of Symbolic Logic 15 (2):141-142.
  11.  19
    Polish Logic 1920-1939.Ivo Thomas - 1969 - Philosophical Review 78 (4):539.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  27
    In memoriam A. N. Prior (1914--1969).Ivo Thomas - 1971 - Notre Dame Journal of Formal Logic 12 (2):129-130.
  13.  23
    In memoriam: Edward John Lemmon (1930---1966).Ivo Thomas - 1968 - Notre Dame Journal of Formal Logic 9 (1):1-3.
  14.  19
    On a passage of Aristotle.Ivo Thomas - 1974 - Notre Dame Journal of Formal Logic 15 (2):347-348.
  15.  15
    Shorter development of an axiom.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (3):378-378.
  16.  11
    Universal variable non-Tarskian functors.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (3):221-222.
  17.  11
    Decision procedures for S2° and T°.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5:319.
  18.  7
    Moral psychology biases toward individual, not systemic, representations.Irein A. Thomas, Nick R. Kay & Kristin Laurin - 2023 - Behavioral and Brain Sciences 46:e178.
    We expand Chater & Loewenstein's discussion of barriers to s-frames by highlighting moral psychological mechanisms. Systemic aspects of moralized social issues can be neglected because of (a) the individualistic frame through which we perceive moral transgressions; (b) the desire to punish elicited by moral emotions; and (c) the motivation to attribute agency and moral responsibility to transgressors.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  32
    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.
  20. Logisch-Philosophische Studienen.Joseph M. Bochenski, P. Banks, Albert Menne & I. Thomas - 1959 - Alber.
    No categories
     
    Export citation  
     
    Bookmark  
  21.  4
    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  
  22.  11
    A note on self-referential statements.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (3):218-220.
  23.  7
    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  
  24.  9
    Axiom sets equivalent to syllogism and Peirce.Ivo Thomas - 1976 - Notre Dame Journal of Formal Logic 17 (2):248-248.
  25.  5
    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.
  26.  3
    Decision for $K4$.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (4):337-338.
  27.  19
    Functional completeness of Henkin's propositional fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (3):107-110.
  28.  28
    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  
  29.  14
    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  
  30.  16
    Independence of Faris-rejection-axioms.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):48-51.
  31.  21
    Nice implicational axioms.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (4):507-508.
  32.  1
    One dimension in PS and PSI.Ivo Thomas - 1976 - Notre Dame Journal of Formal Logic 17 (3):421-423.
  33.  19
    On Meredith's sole positive axiom.Ivo Thomas - 1974 - Notre Dame Journal of Formal Logic 15 (3):477-477.
  34.  21
    On the infinity of positive logic.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (2):108-108.
  35.  10
    Simple implicational development.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (2):268-268.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  36.  15
    Solutions of five modal problems of Sobociński.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):199-200.
  37.  19
    Three-valued propositional fragments with classical implication.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):145-147.
  38.  6
    The rule of excision in positive implication.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (1):64-64.
  39.  11
    The rule of Peirce.Ivo Thomas - 1968 - Notre Dame Journal of Formal Logic 9 (1):34-34.
  40.  58
    The written liar and Thomas Oliver.Ivo Thomas - 1965 - Notre Dame Journal of Formal Logic 6 (3):201-208.
  41.  6
    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  
  42.  5
    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  
  43.  14
    The Logical Systems of Lesniewski.Ivo Thomas - 1967 - Philosophy of Science 34 (1):79-80.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  4
    On Aristotelian Syllogistic.Ivo Thomas - 1952 - Journal of Symbolic Logic 17 (3):210-211.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  3
    Het gebruik van de meervoudige voorkeurstem bij de parlementsverkiezingen van 21 mei 1995.Jozef Smits & Inge Thomas - 1998 - Res Publica 40 (1):127-168.
    In Belgium the multiple preferential voting system was for the first time applied to parliamentary elections in 1995. Since then the electorate has the possibility to cast a vote for several candidates figuring on the same party list.As a result of this voting system change, more voters used the possibilities offered by the preferential voting system than during the 1991 elections: almost 57% of the electorate of 1995 cast a multiple vote on candidates for the House of Representatives - this (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  34
    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.
  47.  70
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  4
    7 Affective Atmospheres: Joy, Ethics and the Howl of Children and Young People’s Sexuality.Ian Thomas - 2018 - In Markus P. J. Bohlmann & Anna Hickey-Moody (eds.), Deleuze and Children. Edinburgh University Press. pp. 128-144.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  24
    Axioms for the “Gergonne”-relations.Ivo Thomas & Don Orth - 1959 - Journal of Symbolic Logic 24 (4):305.
  50.  30
    A new decision procedure for Aristotle's syllogistic.Ivo Thomas - 1952 - Mind 61 (244):564-566.
1 — 50 / 134