Finitary partial inductive definitions as a general logic
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Terminological reasoning and partial inductive definitionsPublished by Springer Nature ,2005
- A finitary version of the calculus of partial inductive definitionsPublished by Springer Nature ,2005
- A logic programming language with lambda-abstraction, function variables, and simple unificationPublished by Springer Nature ,2005
- Rules of definitional reflectionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A framework for defining logicsJournal of the ACM, 1993
- Using typed lambda calculus to implement formal systems on a machineJournal of Automated Reasoning, 1992
- A Constructive Presentation for the Modal Connective of Necessity (□)Journal of Logic and Computation, 1992
- Structural frameworks, substructural logics, and the role of elimination inferencesPublished by Cambridge University Press (CUP) ,1991
- Partial inductive definitionsTheoretical Computer Science, 1991
- The foundation of a generic theorem proverJournal of Automated Reasoning, 1989