135 search results - page 19 / 27 » Constructive Logic with Strong Negation as a Substructural L... |
84
Voted
ILP
2003
Springer
15 years 4 months ago
2003
Springer
In the case of concept learning from positive and negative examples, it is rarely possible to find a unique discriminating conjunctive rule; in most cases, a disjunctive descripti...
82
Voted
IQ
2007
15 years 1 months ago
2007
: Models of the association between input accuracy and output accuracy imply that, for any given application, the effect of input errors on the output error rate generally varies i...
115
click to vote
LFCS
2009
Springer
15 years 6 months ago
2009
Springer
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...
104
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
124
Voted
NMR
2004
Springer
15 years 5 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...