Erratum to: ``Natural implication and modus ponens principle
From MaRDI portal
Publication:2811667
Cited in
(6)- scientific article; zbMATH DE number 7593545 (Why is no real title available?)
- 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)
