Pages that link to "Item:Q908897"
From MaRDI portal
The following pages link to Completeness and conservative extension results for some Boolean relevant logics (Q908897):
Displaying 9 items.
- Simplified semantics for relevant logics (and some of their rivals) (Q689076) (← links)
- CE is not a conservative extension of E (Q1576386) (← links)
- Extensionalism and induction in Boole (Q2838262) (← links)
- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations (Q3637268) (← links)
- Routely-Meyer Semantics for some weak Boolean Logics, and some Translations (Q4664019) (← links)
- Some Completeness Results for Propositional Conditional Logics (Q4834298) (← links)
- (Q4841068) (← links)
- Gentzenizations of relevant logics with distribution (Q4894719) (← links)
- Non-Boolean classical relevant logics. II: Classicality through truth-constants (Q6147138) (← links)