Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  Towards the MEDLAR Framework

Cunningham, J., Gabbay, D. M., & Ohlbach, H. J. (1991). Towards the MEDLAR Framework. In ESPRIT '91 Conference Proceedings (pp. 822-841). Brussels, Belgium: Commission of the European Communities.

Item is

Basisdaten

einblenden: ausblenden:
Genre: Konferenzbeitrag
Latex : Towards the {MEDLAR} Framework

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Cunningham, J.1, Autor
Gabbay, Dov M.1, Autor
Ohlbach, Hans Jürgen2, Autor           
Affiliations:
1External Organizations, ou_persistent22              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: This is an outline description of work seeking an integrated framework for mechanising nonclassical logics. The particular logics and calculi we are concerned with are structured from the point of view of applications. As a first example for testing our prototype of the general framework, a generalised interpretation of modal logics is presented. Next, we introduce the methodology of \it Labelled Deductive Systems\/, demonstrating why this approach for a general framework is adequate to integrate various logical systems via a unified methodology. Finally, the need for different operational methods of solving problems in formal logic are briefly discussed in the context of an ambitious example suggested from MEDLAR case studies.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 1991
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: CunninghamGabbayOhlbach91a
URI: http://aei.pitt.edu/39309/1/Esprit.1991.Conf..pdf
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: ESPRIT '91 Conference Proceedings
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Brussels, Belgium : Commission of the European Communities
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 822 - 841 Identifikator: -