Normal form results for default logic

V. Wiktor Marek, Mirostaw Truszczyński

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations


In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.

Original languageEnglish
Title of host publicationNonmonotonic and Inductive Logic - 2nd International Workshop, Proceedings
EditorsGerhard Brewka, Klaus P. Jantke, Peter H. Schmitt
Number of pages14
StatePublished - 1993
Event2nd International Workshop on Nonmonotonic and Inductive Logic, NIL 1991 - Reinhardsbrunn Castle, Germany
Duration: Dec 2 1991Dec 6 1991

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume659 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference2nd International Workshop on Nonmonotonic and Inductive Logic, NIL 1991
CityReinhardsbrunn Castle

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1993.

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science (all)


Dive into the research topics of 'Normal form results for default logic'. Together they form a unique fingerprint.

Cite this