Deduction citeseerx

Date: September 1st, 2008

Deduction citeseerx

Labelled Deduction for the Guarded Fragment - Marx, Mikul'as ...
The system is a labelled deduction calculus in the spirit of those for modal S The novelty ... CiteSeerX! (more...)

Fibring labelled deduction systems - CiteSeerX
Document details from CiteSeerX (Isaac Councill, Lee Giles): We give a categorial characterization of how labelled deduction systems for logics with a propositional basis behave ... (more...)

Deduction (ResearchIndex)
CiteSeerX! Deduction (1997) (Make Corrections) Wolfgang Bibel, Ulrich Furbach, et al. (more...)

Internalizing labelled deduction - CiteSeerX
Document details from CiteSeerX (Isaac Councill, Lee Giles): This paper shows how to internalize the Kripke satisfaction denition using the basic hybrid language, and explores the ... (more...)

"J. Goguen" ? CiteSeerX.KSU author search results
Scientific articles matching the query: "J. Goguen" ... Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations ; by ... (more...)

Investigations into logical deduction ? CiteSeerX citation query
Scientific documents that cite the following paper: Investigations into logical deduction, by G Gentzen (more...)

Prediction is deduction but explanation is abduction - CiteSeerX
Document details from CiteSeerX (Isaac Councill, Lee Giles): This paper presents an approach to temporal reasoning in which prediction is deduction but explanation is abduction. (more...)

KIDS: A semiautomatic program development system ? CiteSeerX ...
Automated deduction techniques are being used in a system called Amphion to derive, from graphical specifications, programs composed from a subroutine library. (more...)

Schreye. Constrained partial deduction - CiteSeerX
Document details from CiteSeerX (Isaac Councill, Lee Giles): Partial deduction based upon the Lloyd and Shepherdson framework generates a specialised program given a set of atoms. (more...)

Deduction ? CiteSeerX citation query
Scientific documents that cite the following paper: Deduction, by P N Johnson-Laird, R M J Byrne (more...)

Filed under: Tax Infomation by
No Comments »