Craig Interpolation in the Presence of Unreliable Connectives

Logica Universalis 8 (3-4):423-446 (2014)
  Copy   BIBTEX

Abstract

Arrow and turnstile interpolations are investigated in UCL [introduced by Sernadas et al. ], 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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Advice to the relevantist policeman.David C. Makinson - 2013 - In Vit Puncochar & Petr Svarny (eds.), The Logica Yearbook 2012. College Publications. pp. 91-100.
A simple solution to Friedman's fourth problem.Xavier Caicedo - 1986 - Journal of Symbolic Logic 51 (3):778-784.
On Combined Connectives.A. Sernadas, C. Sernadas & J. Rasga - 2011 - Logica Universalis 5 (2):205-224.
Taming logic.Maarten Marx, Szabolcs Mikul & István Németi - 1995 - Journal of Logic, Language and Information 4 (3):207-226.

Analytics

Added to PP
2014-04-02

Downloads
40 (#563,186)

6 months
5 (#1,047,105)

Historical graph of downloads
How can I increase my downloads?