Results 41 to 50 of about 2,012 (164)

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  

Identifying Treatment Effect Modifiers in the STarT Back Trial: A Secondary Analysis [PDF]

, 2016
Identification of patient characteristics influencing treatment outcomes is a top low back pain (LBP) research priority. Results from the STarT Back Trial support the effectiveness of prognostic stratified care for LBP compared to current best care ...
Afolabi, E, Beneciuk, JM, Campbell, P, Dunn, KM, Foster, NE, George, SZ, Hill, JC   +6 more
core   +1 more source

Sheffer Stroke BCK-Algebras via Linear Diophantine Fuzzy Structures

Axioms
This study investigates linear Diophantine fuzzy structures within the framework of Sheffer stroke BCK-algebras (SBCK-algebras). We introduce and characterize linear Diophantine fuzzy SBCK-subalgebras and linear Diophantine fuzzy SBCK-ideals ...
Amal S. Alali, Tahsin Oner, Ravikumar Bandaru, Neelamegarajan Rajesh, Hashem Bordbar   +4 more
doaj   +1 more source

Modeling 3D animals from a side-view sketch [PDF]

, 2015
Shape Modeling International 2014International audienceUsing 2D contour sketches as input is an attractive solution for easing the creation of 3D models. This paper tackles the problem of creating 3D models of animals from a single, side-view sketch.
Barthe, Loic, Cani, Marie-Paule, Cordier, Frederic, Entem, Even, Van De Panne, Michiel   +4 more
core   +5 more sources

``The absence of the difference from a pot is potness'' -- Axiomatic Proofs of Theorems Concerning Negative Properties in Navya-Ny\=aya [PDF]

Computer Science Journal of Moldova, 2016
The present paper deals with an aspect of the Navya-Ny\=aya ``logic of property and location'' (Matilal) in classical Indian philosophy, namely the so-called ``absences'' (\textit{abh\=ava}).
Eberhard Guhe
doaj  

G\"odel's Notre Dame Course

, 2016
This is a companion to a paper by the authors entitled "G\"odel's natural deduction", which presented and made comments about the natural deduction system in G\"odel's unpublished notes for the elementary logic course he gave at the University of Notre ...
Adzic, Milos, Dosen, Kosta
core   +1 more source

Lukasiewicz Fuzzy Set Theory Applied to SBE-Algebras

Mathematics
In this paper, we utilize the Lukasiewicz t-norm to construct a novel class of fuzzy sets, termed ζ-Lukasiewicz fuzzy sets, derived from a given fuzzy framework.
Tahsin Oner, Hashem Bordbar, Neelamegarajan Rajesh, Akbar Rezaei   +3 more
doaj   +1 more source

Fuzzy Sets in Strong Sheffer Stroke NMV-Algebra with Respect to a Triangular Norm

Mathematics
In this paper, we explore the application of fuzzy set theory in the context of triangular norms, with a focus on strong Sheffer stroke NMV-algebras.
Ravikumar Bandaru, Tahsin Oner, Neelamegarajan Rajesh, Amal S. Alali   +3 more
doaj   +1 more source

Spartan Daily November 6, 2012 [PDF]

, 2012
Volume 139, Issue 38https://scholarworks.sjsu.edu/spartandaily/1354/thumbnail ...
San Jose State University, School of Journalism and Mass Communications
core   +2 more sources

A Spectrum of Applications of Automated Reasoning

, 2002
The likelihood of an automated reasoning program being of substantial assistance for a wide spectrum of applications rests with the nature of the options and parameters it offers on which to base needed strategies and methodologies.
Wos, Larry
core   +2 more sources