- Tytuł:
- Proof Systems for Logics Based on Non-deterministic Multiple-valued Structures
- Autorzy:
-
Avron, A.
Konikowska, B. - Data publikacji:
- 2004
- Słowa kluczowe:
-
macierze niedeterministyczne
systemy dedukcyjne
formal logics
non-deterministic matrices
deduction systems
logiki formalne - Pokaż więcej
- Dostawca treści:
- BazTech