Negative equivalence over the minimal logic and interpolation

zbMATH Open1354.03031MaRDI QIDQ891973FDOQ891973

Authors L. L. Maksimova 

Publication date 18 November 2015

Published in Sibirskie Elektronnye 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

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

Recommendations

• Negative equivalence of extensions of minimal logic
• On negatively equivalent extensions of minimal logic
• scientific article; zbMATH DE number 3884136
• On a substructural logic with minimal negation
• Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation
• Negation in weak positional calculi
• Negation as cancellation, and connexive logic
• Negation as cancellation, connexive logic, and qLPm
• Extensions of the minimal logic and the interpolation problem
• Interpolation and Definability in Extensions of the Minimal Logic

Cited In (11)

• Joint consistency in extensions of the minimal logic
• Recognizability of all WIP-minimal logics
• The interpolation problem in finite-layered pre-Heyting logics
• Strong decidability and strong recognizability
• Perceptibility in pre-Heyting logics
• Title not available (Why is no real title available?)
• Weak interpolation in extensions of minimal logic
• Negative equivalence of extensions of minimal logic
• Interpolation over the minimal logic and Odintsov intervals
• Extensions of the minimal logic and the interpolation problem
• On negatively equivalent extensions of minimal logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q891973)