KIT | KIT-Bibliothek | Impressum | Datenschutz

Common syntax of the DFG-Schwerpunktprogramm "Deduktion"

Haehnle, Reiner; Kerber, Manfred; Weidenbach, Christoph

Abstract:

A common exchange format for logic problems to be used by members
of the DFG-Schwerpunktprogramm ``Deduktion'' is introduced. It is
thought to be an internal format that can easily be parsed such that
it forms a compromise between the needs of the different groups.
It is not intended to be a high-level general logic language that
is easy to read or to write. The language is more general than other
popular exchange formats such as Otter or TPTP in allowing non-clausal and
sorted formulas as well as user-defined operators and quantifiers.
The latter feature makes it also useful for non-classical logics.

Open Access Logo


Volltext §
DOI: 10.5445/IR/22296
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Publikationsjahr 1996
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA222965
KITopen-ID: 22296
Erscheinungsvermerk Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,10.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page