Pages that link to "Item:Q1102939"
From MaRDI portal
The following pages link to Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing) (Q1102939):
Displayed 3 items.
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- Legality concepts for three-valued logic programs (Q689286) (← links)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276) (← links)