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