Negative equivalence over the minimal logic and interpolation

zbMath1354.03031MaRDI QIDQ891973

Larisa L. Maksimova

Publication date: 18 November 2015

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: http://semr.math.nsc.ru/v11/p1-17.pdf

zbMATH Keywords

interpolationnegative equivalenceminimal logicsemantic completeness

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Paraconsistent logics (03B53)

Related Items (6)

Extensions of the minimal logic and the interpolation problem ⋮ Recognizability of all WIP-minimal logics ⋮ Perceptibility in pre-Heyting logics ⋮ Strong decidability and strong recognizability ⋮ Interpolation over the minimal logic and Odintsov intervals ⋮ The interpolation problem in finite-layered pre-Heyting logics

This page was built for publication: Negative equivalence over the minimal logic and interpolation