- Tytuł:
- A simple Henkin-style completeness proof for Gödel 3-valued logic G3
- Autorzy:
- Robles Gemma
- Data publikacji:
- 2014-01-07 2014-12-01
- Tematy:
-
many-valued logic
Gödel 3-valued logic
bivalent under-determined and over-determined semantics - Pokaż więcej
- Dostawca treści:
- CEJSH