Results 1  10
of
149,927
Quantum deduction rules
, 2007
"... Abstract We define propositional quantum Frege proof systems and compare it with classical Frege proof systems. ..."
Abstract
 Add to MetaCart
Abstract We define propositional quantum Frege proof systems and compare it with classical Frege proof systems.
Natural deduction: ∀rules
, 2011
"... Goal: an uncommon but useful approach to logic: minimal logic + ∃̃, ∨ ̃ (weak, classical) and ∃, ∨ (strong, constructive). 1. Embedding classical and intuitionistic logic into minimal logic. 2. Geometric formulas G and geometric implications Γ. Γ `c G implies Γ `i G. 3. Extended geometric implicatio ..."
Abstract
 Add to MetaCart
Goal: an uncommon but useful approach to logic: minimal logic + ∃̃, ∨ ̃ (weak, classical) and ∃, ∨ (strong, constructive). 1. Embedding classical and intuitionistic logic into minimal logic. 2. Geometric formulas G and geometric implications Γ. Γ `c G implies Γ `i G. 3. Extended geometric implications: → occurs positively only. 4. ∃̃, ∨ ̃ versus ∃,∨: variants of Barr’s theorem. 5. Examples.
Deductive rules in holographic reduced representation
, 2005
"... Communicated by T. Heskes Holographic reduced representation is based on a suitable distributive coding of structured information in conceptual vectors, which elements satisfy normal distribution N(0,1/n). Existing applications of this approach concern various models of associative memory that explo ..."
Abstract
 Add to MetaCart
that exploit a simple algebraic operation of scalar product of distributed representations to measure an overlap between two structured concepts. This paper describes an inference process based on the rules modus ponens and modus tollens. r 2006 Elsevier B.V. All rights reserved.
Number of symbols in Frege proofs with and without the deduction rule
 in Arithmetic, Proof Theory and Computational Complexity, P. Clote and
, 1993
"... Abstract Frege systems with the deduction rule produce at most quadratic speedup over Frege systems using as a measure of length the number of symbols in the proof. We study whether that speedup is in reality smaller. We show that the speedup is linear when the Frege proofs are treelike. Also, two ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Abstract Frege systems with the deduction rule produce at most quadratic speedup over Frege systems using as a measure of length the number of symbols in the proof. We study whether that speedup is in reality smaller. We show that the speedup is linear when the Frege proofs are treelike. Also, two
On the Deduction Rule and the Number of Proof Lines (Extended Abstract)
"... We introduce new proof systems for propositional logic, simple deduction Frege systems, general deduction Frege systems and nested deduction Frege systems, which augment Frege systems with variants of the deduction rule. We give upper bounds on the lengths of proofs in these systems compared to l ..."
Abstract
 Add to MetaCart
We introduce new proof systems for propositional logic, simple deduction Frege systems, general deduction Frege systems and nested deduction Frege systems, which augment Frege systems with variants of the deduction rule. We give upper bounds on the lengths of proofs in these systems compared
An Open Architecture for Optimizing Active and Deductive Rules
, 1993
"... It is evident that nontraditional applications, such as engineering design, Air Traffic Control, situation assessment, Computer integrated manufacturing, program trading and cooperative problem solving require both deductive and active capabilities in addition to the functionality provided by a ..."
Abstract
 Add to MetaCart
traditional DBMS. In this paper, we propose an extensible query optimizer architecture for supporting both active and deductive rules. We first discuss the similarities and differences of the optimization techniques used in deductive and active databases, analyze them and then propose an extensible
The Deduction Rule and Linear and Nearlinear Proof Simulations
"... ... that a Frege proof of n lines can be transformed into a treelike Frege proof of O(n log n) lines and of height O(log n). As a corollary of this fact we can prove that natural deduction and sequent calculus treelike systems simulate Frege systems with proof lengths bounded by O(n log n). ..."
Abstract

Cited by 12 (5 self)
 Add to MetaCart
... that a Frege proof of n lines can be transformed into a treelike Frege proof of O(n log n) lines and of height O(log n). As a corollary of this fact we can prove that natural deduction and sequent calculus treelike systems simulate Frege systems with proof lengths bounded by O(n log n).
The Datalog DL Combination of Deduction Rules and Descriprition Logics
 Computational Intelligence
, 2007
"... déduction et de logiques de description ..."
The GPR System: an Architecture for Integrating Active and Deductive Rules on Complex Database Objects
, 1997
"... This paper illustrates a prototype system, called GPRS, supporting the Generalized Production Rules (GPR) database language. The GPR language integrates, in a unified framework, active rules, which allow the specification of event driven computations on data, and deductive rules, which can be used t ..."
Abstract
 Add to MetaCart
This paper illustrates a prototype system, called GPRS, supporting the Generalized Production Rules (GPR) database language. The GPR language integrates, in a unified framework, active rules, which allow the specification of event driven computations on data, and deductive rules, which can be used
oro.open.ac.uk Measuring the Understandability of Deduction Rules for OWL
"... Version: Accepted Manuscript Link(s) to article on publisher’s website: ..."
Results 1  10
of
149,927