- Tytuł:
- On Some Language Extension of Logic MR: A Semantic and Tableau Approach
- Autorzy:
-
Tomasz Jarmużek
Aleksander Parol - Data publikacji:
- 2020
- Tematy:
-
rozszerzenie minimalnej logiki pozycyjnej
MR
logika pozycyjna
operator realizacji
metody tableau
extension of minimal positional logic
positional logic
realization operator
tableau methods - Pokaż więcej
- Dostawca treści:
- CEJSH