- Tytuł:
- Functional Completeness in CPL via Correspondence Analysis
- Autorzy:
-
Leszczyńska-Jasion, Dorota
Petrukhin, Yaroslav
Shangin, Vasilyi
Jukiewicz, Marcin - Tematy:
-
correspondence analysis
invertible rules
classical propositional logic
functional completeness
sequent calculus
automated deduction
automated rules generation - Pokaż więcej
- Data publikacji:
- 2019
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Dostawca treści:
- Biblioteka Nauki
Artykuł