Pages that link to "Item:Q1104309"
From MaRDI portal
The following pages link to Constructive predicate logic with strong negation and model theory (Q1104309):
Displayed 7 items.
- Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Description logics with contraries, contradictories, and subcontraries (Q2478592) (← links)
- Tableaux for logic programming with strong negation (Q4610313) (← links)
- Vagueness as an epiphenomenon, and non-transitivity (Q5048038) (← links)
- Why Paraconsistent Logics? (Q5213768) (← links)
- A variant of Thomason's first-order logic CF based on situations (Q5937807) (← links)