Results for 'Ivo Thomas'

(not author) ( search as author name )
992 found
Order:
  1.  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  
  2.  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  
  3.  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  
  4.  4
    On Aristotelian Syllogistic.Ivo Thomas - 1952 - Journal of Symbolic Logic 17 (3):210-211.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  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  
  6.  19
    Finite limitations on Dummet's LC.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):170-174.
  7. A History of Formal Logic.I. M. Bocheński & Ivo Thomas - 1961 - Science and Society 27 (4):492-494.
  8.  12
    Modal systems in the neighbourhood of ${\rm T}$.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (1):59-61.
  9.  58
    The written liar and Thomas Oliver.Ivo Thomas - 1965 - Notre Dame Journal of Formal Logic 6 (3):201-208.
  10.  6
    A history of formal logic.Joseph M. Bochenski & Ivo Thomas - 1961 - Notre Dame, Ind.,: University of Notre Dame Press.
  11.  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.
  12.  18
    Stoic Logic. [REVIEW]Ivo Thomas - 1954 - Philosophical Quarterly 4 (17):383-383.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  13.  27
    In memoriam A. N. Prior (1914--1969).Ivo Thomas - 1971 - Notre Dame Journal of Formal Logic 12 (2):129-130.
  14.  23
    In memoriam: Edward John Lemmon (1930---1966).Ivo Thomas - 1968 - Notre Dame Journal of Formal Logic 9 (1):1-3.
  15.  19
    On a passage of Aristotle.Ivo Thomas - 1974 - Notre Dame Journal of Formal Logic 15 (2):347-348.
  16.  15
    Shorter development of an axiom.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (3):378-378.
  17.  11
    Universal variable non-Tarskian functors.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (3):221-222.
  18.  11
    A note on self-referential statements.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (3):218-220.
  19.  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  
  20.  9
    Axiom sets equivalent to syllogism and Peirce.Ivo Thomas - 1976 - Notre Dame Journal of Formal Logic 17 (2):248-248.
  21.  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.
  22.  3
    Decision for $K4$.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (4):337-338.
  23.  19
    Functional completeness of Henkin's propositional fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (3):107-110.
  24.  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  
  25.  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  
  26.  16
    Independence of Faris-rejection-axioms.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):48-51.
  27.  21
    Nice implicational axioms.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (4):507-508.
  28.  1
    One dimension in PS and PSI.Ivo Thomas - 1976 - Notre Dame Journal of Formal Logic 17 (3):421-423.
  29.  19
    On Meredith's sole positive axiom.Ivo Thomas - 1974 - Notre Dame Journal of Formal Logic 15 (3):477-477.
  30.  21
    On the infinity of positive logic.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (2):108-108.
  31.  10
    Simple implicational development.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (2):268-268.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32.  15
    Solutions of five modal problems of Sobociński.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):199-200.
  33.  19
    Three-valued propositional fragments with classical implication.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):145-147.
  34.  6
    The rule of excision in positive implication.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (1):64-64.
  35.  11
    The rule of Peirce.Ivo Thomas - 1968 - Notre Dame Journal of Formal Logic 9 (1):34-34.
  36.  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  
  37. The Ethical Challenges in the Context of Climate Loss and Damage.Ivo Wallimann-Helmer, Kian Mintz-Woo, Lukas Meyer, Thomas Schinko & Olivia Serdeczny - 2019 - In Reinhard Mechler, Laurens M. Bouwer, Thomas Schinko, Swenja Surminski & JoAnne Linnerooth-Bayer (eds.), Loss and Damage from Climate Change. Cham: Springer. pp. 39-62.
    This chapter lays out what we take to be the main types of justice and ethical challenges concerning those adverse effects of climate change leading to climate-related Loss and Damage (L&D). We argue that it is essential to clearly differentiate between the challenges concerning mitigation and adaptation and those ethical issues exclusively relevant for L&D in order to address the ethical aspects pertaining to L&D in international climate policy. First, we show that depending on how mitigation and adaptation are distinguished (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  38.  20
    A model to analyse costs and benefit of intensified diabetic foot care in Austria.Wolfgang Habacher, Ivo Rakovac, Evelyn Görzer, Waltraud Haas, Robert J. Gfrerer, Paul Wach & Thomas R. Pieber - 2007 - Journal of Evaluation in Clinical Practice 13 (6):906-912.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  18
    A final note on S1° and the Brouwerian axioms.Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4:231.
  40.  3
    CS: An Extension of CS.Ivo Thomas - 1950 - Journal of Symbolic Logic 15 (2):141-142.
  41.  19
    Polish Logic 1920-1939.Ivo Thomas - 1969 - Philosophical Review 78 (4):539.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  16
    A new decision procedure for Aristotle's syllogistic.Thomas Ivo Richard - 1952 - Mind 61 (244):564-566.
  43.  11
    Decision procedures for S2° and T°.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5:319.
  44.  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.
  45.  24
    Axioms for the “Gergonne”-relations.Ivo Thomas & Don Orth - 1959 - Journal of Symbolic Logic 24 (4):305.
  46.  30
    A new decision procedure for Aristotle's syllogistic.Ivo Thomas - 1952 - Mind 61 (244):564-566.
  47.  29
    Axiomatische Probleme in der Klassischen Syllogistik.Ivo Thomas - 1957 - Journal of Symbolic Logic 22 (1):96.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  48.  16
    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  
  49.  31
    A Twelfth century paradox of the infinite.Ivo Thomas - 1958 - Journal of Symbolic Logic 23:133.
  50.  5
    A theorem on S4.2 and S4.4.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8:335.
1 — 50 / 992