Pages that link to "Item:Q869116"
From MaRDI portal
The following pages link to Disjunctive elimination rule and its application in MTL (Q869116):
Displayed 4 items.
- Logics with disjunction and proof by cases (Q938238) (← links)
- The logic of the strongest and the weakest t-norms (Q1677041) (← links)
- Corrigendum to ``The logic of the strongest and the weakest t-norms'' (Q1697319) (← links)
- A semantic study of the first-order predicate logic with uncertainty involved (Q1794483) (← links)