Results 41 to 50 of about 2,007 (171)

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

``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  

Quantum Algorithm for Dynamic Programming Approach for DAGs. Applications for Zhegalkin Polynomial Evaluation and Some Problems on DAGs

, 2019
In this paper, we present a quantum algorithm for dynamic programming approach for problems on directed acyclic graphs (DAGs). The running time of the algorithm is $O(\sqrt{\hat{n}m}\log \hat{n})$, and the running time of the best known deterministic ...
A Ambainis, A Ambainis, A Ambainis, AM Childs, C Dürr, C Dürr, F Ablayev, F Ablayev, F Ablayev, F Ablayev, F Ablayev, F Gall Le, G Brassard, I Zhegalkin, K Khadiev, K Khadiev, M Boyer, MA Nielsen, R Ibrahimov, S Arora, S Dörn, SG Gindikin, SV Yablonsky, TH Cormen   +23 more
core   +1 more source

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

Peirce's Arrow and Satzsystem: A Logical View for the Language-Game [PDF]

, 2013
This article is an effort to understand how the Peirce's Arrow (Logical NOR), as a logical operation, can act within the concept of Ludwig Wittgenstein's language-game, considering that the language game is a satzsystem, i.e., a system of ...
Venancio, Rafael Duarte Oliveira
core  

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

Virtual Evidence: A Constructive Semantics for Classical Logics [PDF]

, 2014
This article presents a computational semantics for classical logic using constructive type theory. Such semantics seems impossible because classical logic allows the Law of Excluded Middle (LEM), not accepted in constructive logic since it does not have
Constable, Robert L.
core  

Structure [PDF]

, 2020
An exploration of ground’s connections to structure (joint-carving, naturalness). The notion of structure is often invoked in connection to ground, because grounding is understood to impose constraints on the ‘structure of reality’.
Tahko, Tuomas
core  

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