Craig Interpolation in the Presence of Unreliable Connectives
Logica Universalis 8 (3-4):423-446 (2014)
| 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
|
| Keywords | Probabilistic logic unreliable connectives arrow and turnstile interpolations |
| Categories | (categorize this paper) |
| DOI | 10.1007/s11787-014-0101-9 |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
A Survey of Abstract Algebraic Logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Properties of Independently Axiomatizable Bimodal Logics.Marcus Kracht & Frank Wolter - 1991 - Journal of Symbolic Logic 56 (4):1469-1485.
Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.
An Institution-Independent Proof of Craig Interpolation Theorem.Răzvan Diaconescu - 2004 - Studia Logica 77 (1):59 - 79.
Repairing the Interpolation Theorem in Quantified Modal Logic.Carlos Areces, Patrick Blackburn & Maarten Marx - 2003 - Annals of Pure and Applied Logic 124 (1-3):287-299.
View all 21 references / Add more references
Citations of this work BETA
Decision and Optimization Problems in the Unreliable-Circuit Logic.J. Rasga, C. Sernadas, P. Mateus & A. Sernadas - 2017 - Logic Journal of the IGPL 25 (3):283-308.
Similar books and articles
On Combined Connectives.A. Sernadas, C. Sernadas & J. Rasga - 2011 - Logica Universalis 5 (2):205-224.
Completeness and Interpolation of Almost‐Everywhere Quantification Over Finitely Additive Measures.João Rasga, Wafik Boulos Lotfallah & Cristina Sernadas - 2013 - Mathematical Logic Quarterly 59 (4-5):286-302.
Interpolation in Fragments of Intuitionistic Propositional Logic.Gerard R. Renardel De Lavalette - 1989 - Journal of Symbolic Logic 54 (4):1419 - 1430.
Interpolation in Fragments of Intuitionistic Propositional Logic.Gerard R. Renardel de Lavalette - 1989 - Journal of Symbolic Logic 54 (4):1419-1430.
Interpolation and Amalgamation Properties in Varieties of Equivalential Algebras.Małgorzata Porębska - 1986 - Studia Logica 45 (1):35 - 38.
An Expressivist Bilateral Meaning-is-Use Analysis of Classical Propositional Logic.John Cantwell - 2015 - Journal of Logic, Language and Information 24 (1):27-51.
Interpolation and the Interpretability Logic of PA.Evan Goris - 2006 - Notre Dame Journal of Formal Logic 47 (2):179-195.
Taming Logic.Maarten Marx, Szabolcs Mikul & István Németi - 1995 - Journal of Logic, Language and Information 4 (3):207-226.
On Fork Arrow Logic and Its Expressive Power.Paulo A. S. Veloso, Renata P. De Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
On Not Strengthening Intuitionistic Logic.N. D. Belnap, H. Leblanc & R. H. Thomason - 1963 - Notre Dame Journal of Formal Logic 4 (4):313-320.
Simple Characterization of Functionally Complete One‐Element Sets of Propositional Connectives.Petar Maksimović & Predrag Janičić - 2006 - Mathematical Logic Quarterly 52 (5):498-504.
On Fork Arrow Logic and its Expressive Power.Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
Analytics
Added to PP index
2014-04-02
Total views
18 ( #479,587 of 2,271,756 )
Recent downloads (6 months)
6 ( #207,231 of 2,271,756 )
2014-04-02
Total views
18 ( #479,587 of 2,271,756 )
Recent downloads (6 months)
6 ( #207,231 of 2,271,756 )
How can I increase my downloads?
Downloads
