Natural implication and modus ponens principle

zbMATH Open1338.03049MaRDI QIDQ2804046FDOQ2804046

Authors: Natalya E. Tomova 

Publication date: 27 April 2016

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

Recommendations

• Natural deduction in normal modal logic
• Natural deduction
• scientific article; zbMATH DE number 575583
• The naturality of natural deduction
• Natural deduction based upon strict implication for normal modal logics
• Naturalizing natural deduction
• A natural extension of natural deduction
• Natural deduction and context as (constructive) modality
• Natural deduction and Curry's paradox

zbMATH Keywords

three-valued logicmodus ponens principlenatural implication

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cited In (6)

• 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
• Variations on the collapsing lemma
• Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
• Validity under assumptions and modus ponens

This page was built for publication: 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 Q2804046)