The following pages link to On a theory of weak implications (Q3794150):
Displaying 10 items.
- Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus (Q626494) (← links)
- On some properties of threshold generated implications (Q695269) (← links)
- A weak intuitionistic propositional logic with purely constructive implication (Q1102265) (← links)
- Relevant implication and the weak deduction theorem (Q1103605) (← links)
- Relevant implication and the case for a weaker logic (Q1914376) (← links)
- Weak Vopěnka's principle does not imply Vopěnka's principle (Q2295468) (← links)
- On two types of discrete implications (Q2581527) (← links)
- Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants (Q3211279) (← links)
- THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS (Q3320367) (← links)
- (Q3708781) (← links)
