Mathematical Logic Quarterly 57 (4):395-399 (2011)

Abstract
The Craig interpolation theorem is shown for an extended LJ with strong negation. A new simple proof of this theorem is obtained. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
Keywords 03B53  Nelson's logic  sequent calculus  MSC (2010) 03B50  strong negation  Craig interpolation theorem
Categories (categorize this paper)
DOI 10.1002/malq.201010016
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,100
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
Reasoning with Logical Bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
Partiality and its Dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.

View all 14 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation.Norihiro Kamide - 2006 - Journal of Logic, Language and Information 15 (4):371-401.
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
Subformula Semantics for Strong Negation Systems.Seiki Akama - 1990 - Journal of Philosophical Logic 19 (2):217 - 226.
On the Interpolation Property of Some Intuitionistic Modal Logics.C. Luppi - 1996 - Archive for Mathematical Logic 35 (3):173-189.
On Extensions of Intermediate Logics by Strong Negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.

Analytics

Added to PP index
2013-12-01

Total views
15 ( #611,146 of 2,324,545 )

Recent downloads (6 months)
2 ( #464,303 of 2,324,545 )

How can I increase my downloads?

Downloads

My notes