Results 61 to 70 of about 416,627 (195)
Computing only minimal answers in disjunctive deductive databases
, 2003 A method is presented for computing minimal answers in disjunctive deductive databases under the disjunctive stable model semantics. Such answers are constructed by repeatedly extending partial answers.
Johnson, C. A.
core +2 more sources
A formal analysis of the notion of preference between deductive arguments [PDF]
, 2018 In the last two decades, justification logic has addressed the problem of including justifications into the field of epistemic logic. Nevertheless, there is something that has not received enough attention yet: how epistemic agents might prefer ...
Burrieza-Muñiz, Alfredo +1 more
core
A System for Deduction-based Formal Verification of Workflow-oriented Software Models
, 2014 The work concerns formal verification of workflow-oriented software models using deductive approach. The formal correctness of a model's behaviour is considered.
Klimek, Radoslaw
core +2 more sources
, 2005 Cyclic structures underlie formal mathematical reasoning, and replication and folding play a crucial role in the complexity of proofs. These two aspects of the geometry of proofs are discussed.
openaire +2 more sources
G. Hempel, Deductive-Nomological Vs. Statistical Explanation
Crítica, 1967 G. Hempel, "Deductive-Nomological Vs. Statistical Explanation", Minnesota Studies in the Philosophy of Science, vol. III, edited by H. Feigl and G. Marxwell, University of Minnesota Press, Minneapolis, 1962, pp. 98-169.
Thomas M. Simpson
doaj +1 more source
Deductive reasoning in Extensive Games [PDF]
We justify the application to extensive games of the concept of ‘fully permissible sets’, which corresponds to choice sets when there is common certain belief of the event that each player prefer one strategy to another if and only if the former weakly ...
Asheim, Geir B
core
Proof that Wittgenstein is correct about Gödel [PDF]
The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic property of Boolean true provide the sound deductive premises.
Olcott, P.
core
An Abstract Approach to Consequence Relations
, 2019 We generalise the Blok-J\'onsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence.
Cintula, Petr +3 more
core +1 more source
Pythagorean fuzzy deductive system of BCL-algebra [version 1; peer review: 2 approved]
F1000ResearchBackground The deductive system of BCL-algebra has not been thoroughly explored, and its fuzzification remains undefined. This study aims to the association of this gap by introducing a fuzzy extension of the deductive system of BCL-algebra using ...
Berhanu Assaye Alaba +2 more
doaj +1 more source
Jurnal Pesona, 2016 Identifying deductive and inductive thinking in reading has been popular because human thinking is based on both of them. The problem is students from primary and secondary shool up to higher level often get difficulty to identify deductive and inductive
Izhar .
doaj +1 more source