4 found
Order:
See also
  1.  38
    Vii. Process Logic and Epistemology.Jacques Riche - 2004 - In Michel Weber (ed.), After Whitehead: Rescher on Process Metaphysics. Ontos Verlag. pp. 1--173.
  2.  12
    L'Analyse et le sens.Paul Gochet & Jacques Riche - 1984 - Revue de Métaphysique et de Morale 89 (3):410 - 426.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  60
    Decision Procedure of Some Relevant Logics: A Constructive Perspective.Jacques Riche - 2005 - Journal of Applied Non-Classical Logics 15 (1):9-23.
    Some investigations into the algebraic constructive aspects of a decision procedure for various fragments of Relevant Logics are presented. Decidability of these fragments relies on S. Kripke's gentzenizations and on his combinatorial lemma known as Kripke's lemma that B. Meyer has shown equivalent to Dickson's lemma in number theory and to his own infinite divisor lemma, henceforth, Meyer's lemma or IDP. These investigations of the constructive aspects of the Kripke's-Meyer's decision procedure originate in the development of Paul Thistlewaite's “Kripke” theorem (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  11
    Logic in Whitehead's Universal Algebra.Jacques Riche - 2011 - Logique Et Analyse 54 (214):135-159.