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):
Displaying 7 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)
- Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks (Q1123187) (← links)
- On constructing intellectual systems in ternary logic (Q2017769) (← links)
- A three-valued approach to default logic (Q4881435) (← links)
- R-Calculus, III: Post Three-Valued Logic (Q5095941) (← links)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276) (← links)
