- Tytuł:
- Foundations of Paraconsistent Resolution
- Autorzy:
- Kamide, N.
- Data publikacji:
- 2006
- Słowa kluczowe:
-
paraconsistent resolution
sequent calculus
Herbrand theorem
completeness
cut elimination - Pokaż więcej
- Dostawca treści:
- BazTech
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.