Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Axioms in Definitional Calculi
IAM.
Number of Authors: 2
1993 (English)In: Extensions of Logic Programming ELP'93: Proceedings Proceedings of the fourth international workshop on extensions of logic programming, Springer LNAI of the fourth international workshop on extensions of logic programming, Springer Verlag , 1993, 1, Vol. 798, 196-205 p.Conference paper (Refereed)
Abstract [en]

This paper introduces a restricted form of the axiom rule in calculi of Partial Inductive Definitions (PID). The paper argues that in calculi of PIDs the distinction between atomic and non-atomic formulae is not asclear as in traditional sequent calculi. Therefore the common restriction of the axiom rule to the atomic case is not adequate for this type of calculi.A novel proviso for the axiom rule and corresponding provisos for the left and right definition rules are introduced with an accompanying discussion and suggestions for possible applications in the domain of declarative specification of operational behaviour of logic programs.

Place, publisher, year, edition, pages
Springer Verlag , 1993, 1. Vol. 798, 196-205 p.
Series
Lecture notes on Artificial Intelligence
Keyword [en]
Partial Inductive Definitions, axiom rule, sequent calculus
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-21194OAI: oai:DiVA.org:ri-21194DiVA: diva2:1041228
Conference
Extensions of Logic Programming ELP'93: Proceedings of the fourth international workshop on extensions of logic programming
Available from: 2016-10-31 Created: 2016-10-31Bibliographically approved

Open Access in DiVA

fulltext(127 kB)0 downloads
File information
File name FULLTEXT01.psFile size 127 kBChecksum SHA-512
9d0214543759b97eb85fd7aa380129f09d92a372c9ab1e4132819b12bc3e8de59cda1067e15e13467283296d89381fb7d29bbd25d3a2b5d43bc9c572a96bc9ba
Type fulltextMimetype application/postscript

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 5 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf