Results 11 to 20 of about 145 (89)
FUZZY IMPLICATIVE IDEALS OF SHEFFER STROKE BG-ALGEBRAS [PDF]
, 2021 In this paper, Sheffer stroke BG-algebra is given. After determining a fuzzy ideal of Sheffer stroke BG-algebra, some properties are presented. Then a fuzzy implicative and a sub-implicative ideals of a Sheffer stroke BG-algebra are described.
Kalkan, Tugce +3 more
core +1 more source
Why most papers on filters are really trivial (including this one) [PDF]
, 2023 The aim of this note is to show that many papers on various kinds of filters (and related concepts) in (subreducts of) residuated structures are in fact easy consequences of more general results that have been known for a long ...
Agliano', Paolo
core +1 more source
Between philosophy and mathematics:General trends in dissemination, teaching, and research on mathematical logic in 1930s China [PDF]
, 2022 This article studies some central developments in the propagation and teaching of mathematical logic in 1930s China. Focusing on the emergence of a twofold disciplinary approach to mathematical logic, namely as a discipline studied and disseminated by ...
Vrhovski, Jan
core +2 more sources
Peano on Symbolization, Design Principles for Notations, and the Dot Notation [PDF]
, 2021 Peano was one of the driving forces behind the development of the current mathematical formalism. In this paper, we study his particular approach to notational design and present some original features of his notations.
Schlimm, Dirk
core +1 more source
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