Zobrazeno 1 - 2
of 2
pro vyhledávání: '"hybrid deduction–refutation rules"'
Autor:
Valentin Goranko
Publikováno v:
Axioms, Vol 8, Iss 4, p 118 (2019)
Hybrid deduction–refutation systems are deductive systems intended to derive both valid and non-valid, i.e., semantically refutable, formulae of a given logical system, by employing together separate derivability operators for each of these and com
Externí odkaz:
https://doaj.org/article/c9ff38dcb1f64c3b8058fd39d841cea6
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.