Craig Interpolation in the Presence of Unreliable Connectives

Craig Interpolation in the Presence of Unreliable Connectives

Arrow and turnstile interpolations are investigated in UCL [introduced by Sernadas et al. (J Logic Comput, 2013 )], a logic that is a complete extension of classical propositional logic for reasoning about connectives that only behave as expected with a given probability. Arrow interpolation is show...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Logica universalis 2014-12, Vol.8 (3-4), p.423-446
Hauptverfasser: Rasga, João, Sernadas, Cristina, Sernadas, Amlcar
Format: Artikel
Sprache:eng
Schlagworte:
Computer Science
Logic
Mathematics
Mathematics and Statistics
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Arrow and turnstile interpolations are investigated in UCL [introduced by Sernadas et al. (J Logic Comput, 2013 )], a logic that is a complete extension of classical propositional logic for reasoning about connectives that only behave as expected with a given probability. Arrow interpolation is shown to hold in general and turnstile interpolation is established under some provisos.
ISSN:1661-8297
1661-8300
DOI:10.1007/s11787-014-0101-9