KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA222965

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.


Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Jahr 1996
Sprache Englisch
Identifikator 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