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

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

zbMATH Keywords

interpolationnegative equivalenceminimal logicsemantic completeness

Mathematics Subject Classification ID

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

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 that?)
• 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)