Results 21 to 30 of about 168 (90)
Larry Wos - Visions of automated reasoning [PDF]
, 2022 This paper celebrates the scientific discoveries and the service to the automated reasoning community of Lawrence (Larry) T. Wos, who passed away in August 2020.
Geoff Sutcliffe +3 more
core +1 more source
On the Study of Many-valued logics (1) [PDF]
, 1979 application/pdfArticle大阪府立工業高等専門学校研究紀要, 1979, 13, p.47-57departmental bulletin ...
Miyama, Toru
core +1 more source
The Logical Writings of Karl Popper [PDF]
, 2022 This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century.
core +1 more source
From Inconsistency to Incompatibility [PDF]
, 2022 The aim of this article is to generalize logics of formal inconsistency (LFIs) to systems dealing with the concept of incompatibility, expressed by means of a binary connective.
Coniglio, Marcelo E. +1 more
core +2 more sources
TMS application in both health and disease [PDF]
, 2023 Transcranial magnetic stimulation (TMS) can be useful for therapeutic purposes for a variety of clinical conditions. Numerous studies have indicated the potential of this noninvasive brain stimulation technique to recover brain function and to study ...
Carvalho, Sandra +1 more
core +1 more source
, 2022 The use of the symbol ∨ for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context.
Elkind, Landon D. C., Zach, Richard
core +1 more source
Vector field processing on triangle meshes [PDF]
, 2015 While scalar fields on surfaces have been staples of geometry processing, the use of tangent vector fields has steadily grown in geometry processing over the last two decades: they are crucial to encoding directions and sizing on surfaces as commonly ...
Desbrun M. +4 more
core +2 more sources
, 2022 Originally published in 1962. The central aim of this book is to discuss the development of Alfred North Whitehead's thought and to underscore how it is unique.
Lowe, Victor
core +1 more source
The Algebra of Logic Tradition [PDF]
, 2015 The algebra of logic, as an explicit algebraic system showing the underlying mathematical structure of logic, was introduced by George Boole (1815-1864) in his book The Mathematical Analysis of Logic (1847).
Burris, Stanley, Legris, Javier
core
Collected Papers (on Neutrosophic Theory and Its Applications in Algebra), Volume IX [PDF]
, 2022 This ninth volume of Collected Papers includes 87 papers comprising 982 pages on Neutrosophic Theory and its applications in Algebra, written between 2014-2022 by the author alone or in collaboration with the following 81 co-authors (alphabetically ...
Smarandache, Florentin
core