The Craig interpolation theorem for propositional logics with strong negation
type: Item
instance of: scholarly article
title: The Craig interpolation theorem for propositional logics with strong negation
zbMATH Open document ID: 0586.03019
DOI: 10.1007/BF00394448
published in: Studia Logica
publication date: 1985-01-01T00:00:00Z
review text: This paper deals with propositional calculi with strong negation (N- logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 03B55
zbMATH DE Number: 3939331
zbMATH Keywords: axiomatic strengthenings of the intuitionistic calculus
author: Valentin Goranko
MaRDI profile type: Publication
cites work: An algebraic approach to non-classical logics
cites work: N-lattices and constructive logic with strong negation
cites work: On constructible falsity in the constructive logic with strong negation
cites work: Q4056000
cites work: Notes on \(\eta\)-lattices and constructive logic with strong negation
cites work: Constructible falsity
cites work: Q3220583
cites work: Logical matrices and the amalgamation property
Recommended article: Q3710513
Recommended article: Interpolational Craig property in logics of proofs with strong provability operator
Recommended article: Q3784046
Recommended article: Q4501162
Recommended article: Craig interpolation property for operational logics of proofs
Recommended article: Craig interpolation theorem for classical propositional logic with some probability operators
Recommended article: Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
Recommended article: Q4870568
Recommended article: Q3312201
description: scientific article; zbMATH DE number 3939331