ELP 1993 | Sciweavers

15

ELP
1993

143views Logical Reasoning» more ELP 1993»

13 years 8 months ago

Abstract. This paper presents work on programming methodologies for the programming tool GCLA. Three methods are discussed which show how to construct the control part of a GCLA pr...

Göran Falkman, Olof Torgersson

claim paper

Read More »

14

click to vote

ELP
1993

162views Logical Reasoning» more ELP 1993»

Finitary Partial Inductive Definitions as a General Logic

13 years 8 months ago

Download user.it.uu.se

We describe how the calculus of partial inductive definitions is used to represent logics. This calculus includes the powerful principle of definitional reflection. We describe two...

Lars-Henrik Eriksson

claim paper

Read More »

21

click to vote

ELP
1993

193views Logical Reasoning» more ELP 1993»

Definitional Reflection and the Completion

13 years 8 months ago

Download www-ls.informatik.uni-tuebingen.de

The logic of definitional reflection is extended with a theory of free equality. Based on this equality theory a sequent-style notion of the completion of a definition is motivated...

Peter Schroeder-Heister

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers