Results 31 to 40 of about 416,627 (195)
Gödel’s Natural Deduction [PDF]
Studia Logica, 2017 22 ...
Kosta Dosen, Milos Adzic
openaire +4 more sources
Aristotle’s Syllogistic as a Deductive System
Axioms, 2020 Aristotle’s syllogistic is the first ever deductive system. After centuries, Aristotle’s ideas are still interesting for logicians who develop Aristotle’s work and draw inspiration from his results and even more from his methods.
Piotr Kulicki
doaj +1 more source
Deductive Verification of Unmodified Linux Kernel Library Functions
, 2018 This paper presents results from the development and evaluation of a deductive verification benchmark consisting of 26 unmodified Linux kernel library functions implementing conventional memory and string operations.
B Jacobs +6 more
core +1 more source
Compatible Deductive Systems of Pulexes
International Journal of Mathematics and Mathematical Sciences, 2014 The notion of (compatible) deductive system of a pulex is defined and some properties of deductive systems are investigated. We also define a congruence relation on a pulex and show that there is a bijective correspondence between the compatible ...
Shokoofeh Ghorbani
doaj +1 more source
A Deductive Peripheral Device Fine-grained Control Model [PDF]
Jisuanji gongcheng, 2018 For common Linux platforms,the existing peripheral device control methods have the problems that the control factor analysis is one-sided,the control grain size coarse,the control way is not flexible enough,etc.This paper proposes a deductive peripheral ...
JIN Junping,DU Junlong,ZHOU Jiantao
doaj +1 more source
On Anti-Q-Fuzzy Deductive Systems of Hilbert Algebras
International Journal of Analysis and Applications, 2023 In this paper, the concept of anti-Q-fuzzy deductive systems concepts of Hilbert algebras are introduced and proved some results. Further, we discuss the relation between anti-Q-fuzzy deductive system and level subsets of a Q-fuzzy set.
M. Vasuki, P. Senthil Kumar, N. Rajesh
doaj +1 more source
Coherence in Modal Logic [PDF]
, 2018 A variety is said to be coherent if the finitely generated subalgebras of its finitely presented members are also finitely presented. In a recent paper by the authors it was shown that coherence forms a key ingredient of the uniform deductive ...
Kowalski, Tomasz, Metcalfe, George
core +1 more source
Deductive databases and P systems [PDF]
Computer Science Journal of Moldova, 2004 In computational processes based on backwards chaining, a rule of the type is seen as a procedure which points that the problem can be split into the problems. In classical devices, the subproblems are solved sequentially.
Miguel A. Gutierrez-Naranjo +1 more
doaj
Is there a reliability challenge for logic? [PDF]
, 2018 There are many domains about which we think we are reliable. When there is prima facie reason to believe that there is no satisfying explanation of our reliability about a domain given our background views about the world, this generates a challenge to ...
Baras +25 more
core +1 more source
The Deductive Approach to Causal Inference
Journal of Causal Inference, 2014 This paper reviews concepts, principles, and tools that have led to a coherent mathematical theory that unifies the graphical, structural, and potential outcome approaches to causal inference. The theory provides solutions to a number of pending problems
Pearl Judea
doaj +1 more source