19 found
Order:
  1.  45
    Sequent calculi and decision procedures for weak modal systems.René Lavendhomme & Thierry Lucas - 2000 - Studia Logica 66 (1):121-145.
    We investigate sequent calculi for the weak modal (propositional) system reduced to the equivalence rule and extensions of it up to the full Kripke system containing monotonicity, conjunction and necessitation rules. The calculi have cut elimination and we concentrate on the inversion of rules to give in each case an effective procedure which for every sequent either furnishes a proof or a finite countermodel of it. Applications to the cardinality of countermodels, the inversion of rules and the derivability of Löb (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  2.  80
    Hui Shih and Kung sun lung an approach from contemporary logic.Thierry Lucas - 1993 - Journal of Chinese Philosophy 20 (2):211-255.
  3.  35
    Wolfgang Balzer, C. Ulises Moulines et Joseph D. Sneed, An Architectonic for Science. The Structuralist Program.Thierry Lucas - 1991 - Revue Philosophique De Louvain 89 (83):522-524.
  4.  21
    Definitions in the Upper Part of the Moist Canons.Thierry Lucas - 2012 - Journal of Chinese Philosophy 39 (3):386-403.
    The purpose of this article is to evaluate the Moist Canons from the point of view of logic, as a system of definitions. We concentrate more specifically on the formal organization of the upper part of the Moist Canons. This method leads us to a globally positive evaluation of the system of definitions but also to the less expected conclusion that a few very basic concepts are undefined and form the background of the Moist concrete, realist, and pragmatic philosophical system: (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Deontic algebras of actions.Thierry Lucas - 2008 - Logique Et Analyse 51 (202):103.
  6. Axioms for action.Thierry Lucas - 2007 - Logique Et Analyse 50 (200):367.
     
    Export citation  
     
    Bookmark  
  7.  20
    Chronique de l'Institut supérieur de Philosophie.Thierry Lucas, Claude Troisfontaines, Ludwig Heyde & Paul Gilbert - 1999 - Revue Philosophique De Louvain 97 (2):411-429.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  5
    Early Greek Catapults and ‘First-Generation Artillery Towers’.Thierry Lucas - 2022 - História 71 (2):130.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  17
    In memoriam Georges Van Riet.Thierry Lucas - 1998 - Revue Philosophique De Louvain 96 (4):761-764.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  2
    La chronologie des archontes fédéraux béotiens : à propos des catalogues militaires de Chorsiai récemment publiés.Thierry Lucas - 2021 - Bulletin de Correspondance Hellénique 145:115-139.
    Tout récemment, Y. Kalliontzis et Chr. Müller ont publié sept nouveaux catalogues militaires de Chorsiai. Le présent article part du constat que la chronologie des archontes fédéraux béotiens adoptée pour ces nouveaux documents soulève des difficultés. En confrontant la série de textes de Chorsiai aux autres séries documentaires existantes, notamment celle d’Aigosthènes, il est possible de proposer de nouvelles hypothèses chronologiques qui font disparaître ces difficultés. Sur la base de la série d’archontes fédéraux attestés dans les nouveaux textes de Chorsiai, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  11
    Logique modiale.Thierry Lucas - 1985 - Revue Philosophique De Louvain 83 (4):585-604.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  55
    Later mohist logic, Lei, classes, and sorts.Thierry Lucas - 2005 - Journal of Chinese Philosophy 32 (3):349–365.
  13.  9
    Limits of Logic in Moism.Thierry Lucas - 2018 - Journal of Chinese Philosophy 45 (3-4):233-251.
    Journal of Chinese Philosophy, EarlyView.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. Modalité monotone et schéma T.Thierry Lucas - 1991 - Logique Et Analyse 133 (134):151-158.
  15.  12
    Prix Cardinal Mercier 1997.Thierry Lucas, Claude Troisfontaines, Ludwig Heyde & Paul Gilbert - 1999 - Revue Philosophique De Louvain 97 (2):411-428.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. Parallelism in the Early Moist Texts.Thierry Lucas - 2013 - Frontiers of Philosophy in China 8 (2):289-308.
     
    Export citation  
     
    Bookmark  
  17. Von Wright's action revisited: Actions as morphismst.Thierry Lucas - 2006 - Logique Et Analyse 49:85-115.
  18. François Lepage, Elias Thijsse, Heinrich Wansing/In-troduction 1 J. Michael Dunn/Partiality and its Dual 5 Jan van Eijck/Making Things Happen 41 William M. Farmer, Joshua D. Guttman/A Set Theory. [REVIEW]René Lavendhomme, Thierry Lucas & Sequent Calculi - 2000 - Studia Logica 66:447-448.
  19.  4
    Cavalry renewal in the Greek world: the contribution of the accounts of the hipparch Pompidas (IG VII, 2426). [REVIEW]Thierry Lucas - 2018 - Bulletin de Correspondance Hellénique 142:209-232.
    Le texte des comptes de l’hipparque thébain Pompidas (IG VII, 2426) a suscité de nombreux commentaires depuis son édition, sans que soient pleinement élucidées les questions qu’il soulève. On propose ici de relier deux éléments du texte qui ont toujours été étudiés séparément, à savoir la vente de deux chevaux à bas prix par l’hipparque d’une part, et la distribution de sommes d’argent plus ou moins importantes à sept personnes d’autre part, pour fournir une nouvelle interprétation du texte. Celui-ci concernerait (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark