Sciweavers

Share
ELP
1993

Finitary Partial Inductive Definitions as a General Logic

9 years 5 months ago
Finitary Partial Inductive Definitions as a General Logic
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 conceptually different approaches to representing a logic, both making essential use of definitional reflection. In the deductive approach, the logic is defined by its inference rules. Only the succedent rules (in a sequent calculus
Lars-Henrik Eriksson
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1993
Where ELP
Authors Lars-Henrik Eriksson
Comments (0)
books