Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Quantifier Elimination in Second-Order Predicate Logic

Gabbay, D. M., & Ohlbach, H. J. (1992). Quantifier Elimination in Second-Order Predicate Logic. South African Computer Journal, 7, 35-43.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AE1B-8 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AE1C-6
Genre: Zeitschriftenartikel

Externe Referenzen

einblenden:

Urheber

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

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: An algorithm is presented which eliminates second-order quantifiers over predicate variables in formulae of type $\exists P_1, \ldots, P_n \psi$ where $\psi$ is an arbitrary formula of first-order predicate logic. The resulting formula is equivalent to the original formula - if the algorithm terminates. The algorithm can for example be applied to do interpolation, to eliminate the second-order quantifiers in circumscription, to compute the correlations between structures and power structures, to compute semantic properties corresponding to Hilbert axioms in non classical logics and to compute model theoretic semantics for new logics.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121992
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: Expertenbegutachtung
 Identifikatoren: eDoc: 519516
Anderer: Local-ID: C1256104005ECAFC-5519DFC113ADFD59C125615B005D0C79-GabbayOhlbach92c
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: South African Computer Journal
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 7 Artikelnummer: - Start- / Endseite: 35 - 43 Identifikator: -