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 (5)

• Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
• Variations on the Collapsing Lemma
• 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

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)