Pages that link to "Item:Q4521284"
From MaRDI portal
The following pages link to Completeness of implicational relevant logics (Q4521284):
Displaying 13 items.
- Relevant implication and the weak deduction theorem (Q1103605) (← links)
- Completeness for ancestral logic via a computationally-meaningful semantics (Q1694469) (← links)
- Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
- Completeness and incompleteness for plausibility logic (Q1923829) (← links)
- A characteristic frame for positive intuitionistic and relevance logic (Q2243544) (← links)
- On the Meaning of Logical Completeness (Q3637186) (← links)
- (Q3758808) (← links)
- Completeness of neighbourhood logic (Q4487260) (← links)
- (Q4544192) (← links)
- Implicational Logic, Relevance, and Refutability (Q5006815) (← links)
- A completeness result for implicit justification stit logic (Q5197392) (← links)
- (Q5411427) (← links)
- A dynamic characterization of the pure logic of relevant implication (Q5935796) (← links)