Erratum to: ``Natural implication and modus ponens principle

zbMATH Open1403.03043MaRDI QIDQ2811667FDOQ2811667

Authors: Natalya E. Tomova 

Publication date: 10 June 2016

Published in: Logicheskie Issledovaniya (Search for Journal in Brave)

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cited In (6)

• Title not available (Why is that?)
• Automated correspondence analysis for the binary extensions of the logic of paradox
• Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
• Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
• Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
• Erratum to: ``Between proof and truth

This page was built for publication: Erratum to: ``Natural implication and modus ponens principle

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