Asset Details
Do you wish to reserve the book?
A REFINEMENT OF THE CRAIG–LYNDON INTERPOLATION THEOREM FOR CLASSICAL FIRST-ORDER LOGIC WITH IDENTITY
Hey, we have placed the reservation for you!
By the way, why not check out events that you can attend while you pick your title.
Oops! Something went wrong.
Looks like we were not able to place the reservation. Kindly try again later.
Are you sure you want to remove the book from the shelf?
A REFINEMENT OF THE CRAIG–LYNDON INTERPOLATION THEOREM FOR CLASSICAL FIRST-ORDER LOGIC WITH IDENTITY
Do you wish to request the book?
A REFINEMENT OF THE CRAIG–LYNDON INTERPOLATION THEOREM FOR CLASSICAL FIRST-ORDER LOGIC WITH IDENTITY
Please be aware that the book you have requested cannot be checked out. If you would like to checkout this book, you can reserve another copy
We have requested the book for you!
Your request is successful and it will be processed during the Library working hours. Please check the status of your request in My Requests.
Oops! Something went wrong.
Looks like we were not able to place your request. Kindly try again later.
Journal Article
A REFINEMENT OF THE CRAIG–LYNDON INTERPOLATION THEOREM FOR CLASSICAL FIRST-ORDER LOGIC WITH IDENTITY
2017
Overview
We refine the interpolation property of classical first-order logic (without identity and without function symbols), showing that if Γ ⊬ , ⊬ Δ and Γ ⊢ Δ then there is an interpolant 𝜒, constructed using only non-logical vocabulary common to both members of Γ and members of Δ, such that (i) Γ entails 𝜒 in the first-order version of Kleene's strong three-valued logic, and (ii) 𝜒 entails Δ in the first-order version of Priest's Logic of Paradox. The proof proceeds via a careful analysis of derivations employing semantic tableaux. Lyndon's strengthening of the interpolation property falls out of an observation regarding such derivations and the steps involved in the construction of interpolants.
Through an analysis of tableaux rules for identity, the proof is then extended to classical first-order logic with identity (but without function symbols).
Publisher
Peeters Publishers
We currently cannot retrieve any items related to this title. Kindly check back at a later time.