Pages that link to "Item:Q1182703"
From MaRDI portal
The following pages link to Decision procedures for logics of consequential implication (Q1182703):
Displaying 12 items.
- A decision procedure for the system E (of entailment). I (Q802540) (← links)
- Conditional excluded middle in systems of consequential implication (Q815021) (← links)
- Consequential implication: A correction (Q1317981) (← links)
- Strong Boethius' thesis and consequential implication (Q1366766) (← links)
- Two kinds of consequential implication (Q1653647) (← links)
- Aristotle's Thesis between paraconsistency and modalization (Q1775867) (← links)
- Decision procedures for BDI logics (Q4209288) (← links)
- (Q4428879) (← links)
- Contenability and the Logic of Consequential Implication (Q4656553) (← links)
- The implicative conditional (Q6150654) (← links)
- Connexive implications in substructural logics (Q6638238) (← links)
- Dunn semantics for contra-classical logics (Q6659917) (← links)