On the Undecidability of Some Sub-classical First-Order Logics

On the Undecidability of Some Sub-classical First-Order Logics

A general criterion for the undecidabily of sub-classical firstorder logics and important fragments thereof is established. It is applied, among others, to Urquart’s (original version of) C and the closely related logic C*.In addition, hypersequent systems for (first-order) C and C* are introduced a...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Baaz, Matthias, Ciabattoni, Agata, Fermüller, Christian, Veith, Helmut
Format: Buchkapitel
Sprache:eng
Schlagworte:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Programming theory
Theoretical computing
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:A general criterion for the undecidabily of sub-classical firstorder logics and important fragments thereof is established. It is applied, among others, to Urquart’s (original version of) C and the closely related logic C*.In addition, hypersequent systems for (first-order) C and C* are introduced and shown to enjoy cut-elimination.
ISSN:0302-9743
1611-3349
DOI:10.1007/3-540-46691-6_20