Results 11 to 20 of about 416,627 (195)
PLoS ONE, 2007 BackgroundAs biologists increasingly rely upon computational tools, it is imperative that they be able to appropriately apply these tools and clearly understand the methods the tools employ.
Jeff Shrager +3 more
doaj +4 more sources
REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS [PDF]
The Review of Symbolic Logic, 2016 AbstractA skeleton of the category with finite coproducts${\cal D}$ freely generated by a single object has a subcategory isomorphic to a skeleton of the category with finite products ${\cal C}$ freely generated by a countable set of objects. As a consequence, we obtain that ${\cal D}$ has a subcategory equivalent with ${\cal C}$.
Kosta Dosen, Zoran Petric
openaire +3 more sources
Classifying and Analyzing Analogies
Informal Logic, 2001 Analogies come in several forms that serve distinct functions. Inductive analogy is a common type of analogical argument, but critical thinking texts sometimes treat all analogies as inductive.
Bruce N. Waller
doaj +1 more source
Improving the Deductive System DES with Persistence by Using SQL DBMS's [PDF]
, 2015 This work presents how persistent predicates have been included in the in-memory deductive system DES by relying on external SQL database management systems.
Sáenz-Pérez, Fernando
core +4 more sources
Hemispheric Differences in Relational Reasoning: Novel Insights based on an Old Technique
Frontiers in Human Neuroscience, 2015 Relational reasoning, or the ability to integrate multiple mental relations to arrive at a logical conclusion, is a critical component of higher cognition. A bilateral brain network involving lateral prefrontal and parietal cortices has been consistently
Michael S Vendetti +5 more
doaj +1 more source
The 'Most Important and Fundamental' Distinction in Logic
Informal Logic, 2001 In this paper I argue that the debate over the purported distinction between deductive and inductive arguments can be bypassed because making the distinction is unnecessary for successfully evaluating arguments.
G.C. Goddu
doaj +1 more source
Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term Institutions [PDF]
, 2016 Babenyshev and Martins proved that two hidden multi-sorted deductive systems are deductively equivalent if and only if there exists an isomorphism between their corresponding lattices of theories that commutes with substitutions.
Voutsadakis, George
core +1 more source
Deductive synthesis of recursive plans in linear logic [PDF]
, 1999 Linear logic has previously been shown to be suitable for describing and deductively solving planning problems involving conjunction and disjunction.
A. Bundy +15 more
core +3 more sources
The Deductive/Inductive Distinction
Informal Logic, 1994 In this paper I examine five distinctions between deductive and inductive arguments, concluding that the best of the five defines a deductive argument as one in which conclusive favorable relevance to its conclusion is attributed to its premises, and an ...
George Bowles
doaj +1 more source
Automated Deductive Verification for Ladder Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Ladder Logics is a programming language standardized in IEC 61131-3 and widely used for programming industrial Programmable Logic Controllers (PLC). A PLC program consists of inputs (whose values are given at runtime by factory sensors), outputs (whose ...
Denis Cousineau +2 more
doaj +1 more source