On a theory of weak implications

DOI10.2307/2274438MaRDI QIDQ3794150zbMATH OpenOpenAlexFDO

Authors Mitsuhiro Okada

Publication date 1988

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274438

zbMATH Keywords

intuitionist implicationprovability semanticsGentzen sequent calculi

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 1292304
• On weak implication algebra
• Relevant implication and the weak deduction theorem
• Deduction theorems for weak implicational logics
• The Theory of Implication
• Weak Logics with Strict Implication
• scientific article; zbMATH DE number 3935011
• Relevant implication and the case for a weaker logic
• scientific article; zbMATH DE number 2109248
• On weakening the Deduction Theorem and strengthening Modus Ponens

Cited in

(11)

• scientific article; zbMATH DE number 3935011 (Why is no real title available?)
• On some properties of threshold generated implications
• A weak intuitionistic propositional logic with purely constructive implication
• Relevant implication and the weak deduction theorem
• Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants
• About some symmetries of negation
• On two types of discrete implications
• THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS
• Weak Vopěnka's principle does not imply Vopěnka's principle
• Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
• Relevant implication and the case for a weaker logic

This page was built for publication: On a theory of weak implications

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