References of "Logique et Analyse"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailLogic, mathematics, ontology. Alfred North Whitehead's early work
Leclercq, Bruno ULg; Deroo, Emeline ULg

in Logique et Analyse (2011), 54(213),

Detailed reference viewed: 98 (7 ULg)
Full Text
Peer Reviewed
See detailForeword
Deroo, Emeline ULg; Leclercq, Bruno ULg

in Logique et Analyse (2011), 54(214), 125-126

Detailed reference viewed: 11 (1 ULg)
Full Text
Peer Reviewed
See detailLooking for new mathematical concepts for the material world
Leclercq, Bruno ULg

in Logique et Analyse (2011), 54(213), 211-224

Read in December 1905 at the Royal Society of London, Alfred North Whitehead’s memoir “On mathematical concepts of the material world” is not only, according to Whitehead’s own retrospective assessment ... [more ▼]

Read in December 1905 at the Royal Society of London, Alfred North Whitehead’s memoir “On mathematical concepts of the material world” is not only, according to Whitehead’s own retrospective assessment, “the most original thing that he had done”; it also provides very interesting clues to understand Whitehead’s contemporary collaboration with Bertrand Russell, as well as his later philosophical – epistemological and metaphysical – work. [less ▲]

Detailed reference viewed: 128 (4 ULg)
Full Text
Peer Reviewed
See detailThe Tableau Method for Temporal Logic: An Overview
Wolper, Pierre ULg

in Logique et Analyse (1985), (110--111), 119--136

An overview of the tableau decision method for propositional temporal logic is presented. The method is described in detail for linear time temporal logic. It is then discussed how it can be applied to ... [more ▼]

An overview of the tableau decision method for propositional temporal logic is presented. The method is described in detail for linear time temporal logic. It is then discussed how it can be applied to other variants of temporal logic like branching time temporal logic and extensions of linear time temporal logic. Finally, applications of temporal logics to computer science are reviewed. [less ▲]

Detailed reference viewed: 11 (2 ULg)