- Tytuł:
- An eight - valued praconsistent logic
- Autorzy:
- Kamide, N.
- Data publikacji:
- 2014
- Słowa kluczowe:
-
sixteen-valued logics
four-valued logics
fine-grained
eight-valued paraconsistent logic
Gentzen-type sequent calculus - Pokaż więcej
- Dostawca treści:
- BazTech