Pages that link to "Item:Q2804477"
From MaRDI portal
The following pages link to The relevant fragment of first order logic (Q2804477):
Displaying 6 items.
- A structurally complete fragment of relevant logic (Q689216) (← links)
- What is a relevant connective? (Q2155944) (← links)
- (Q4202950) (← links)
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY (Q4600823) (← links)
- INCOMPACTNESS OF THE A1 FRAGMENT OF BASIC SECOND ORDER PROPOSITIONAL RELEVANT LOGIC (Q5235069) (← links)
- Ordered Fragments of First-Order Logic (Q6168480) (← links)