- Tytuł:
-
On Some Language Extension of Logic MR: A Semantic and Tableau Approach
O pewnym językowym rozszerzeniu logiki MR: podejście semantyczne i tabelau - Autorzy:
-
Jarmużek, Tomasz
Parol, Aleksander - Data publikacji:
- 2021-01-04
- Wydawca:
- Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
- 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:
- Biblioteka Nauki
Artykuł