Abstract Sahlqvist theory is extended to the fragments of intuitionistic propositional calculus that include conjunction connective. This allows us introduce a character amenable arbitrary protoalgebraic deductive systems. As an application, we obtain theorem for implication connective and extensions linear logic.

Oaksford, Chater, and Larkin (2000) have suggested that people actually use everyday probabilistic reasoning when making deductive inferences. In two studies, we explicitly compared probabilistic and deductive reasoning with identical if-then conditional premises with concrete content. In the first, adults were given causal premises with one strongly associated antecedent and were asked to make...

this study investigated the relative effects of deductive and inductive form-focused instruction (ffi) on the acquisition of 4 non-generic definite article uses(cultural, situational, structural, and textual) as assessed by explicit and implicit outcome measures. the tests utilized to assess efl learners' acquisition of definite article uses were timed and untimed grammaticality judgment t...

We present an ontology-driven approach to service composition with deductive databases. We formalize Web services as Deductive Web services (DWS) where the Extensional Service Base (ESB) stores all input and output signatures of services. The Intensional Service Base (ISB) corresponds to a set of deductive rules that express the semantics of the ESB captured by a domain ontology. We provide a f...

This article will introduce abductive case-based reasoning (CBR) and attempt to show that abductive CBR and deductive CBR can be integrated in clinical process and problem solving. Then it provides a unified formalization for integration of abduction, abductive CBR, deduction and deductive CBR. This article also investigates abductive case retrieval and deductive case retrieval using similarity...