Počet záznamů: 1
Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics
- 1.
SYSNO 0524930 Název Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics Tvůrce(i) Cintula, Petr (UIVT-O) RID, ORCID, SAI
Noguera, Carles (UTIA-B) [MTR] RID, ORCIDVyd. údaje Cham: Springer, 2021 ISBN 978-3-030-85674-8 Druh dok. Monografie, kniha (jako celek) Grant GA13-14654S GA ČR - Grantová agentura ČR GA18-00113S GA ČR - Grantová agentura ČR, CZ - Česká republika Institucionální podpora UIVT-O - RVO:67985807 ; UTIA-B - RVO:67985556 Jazyk dok. eng Země vyd. CH Klíč.slova Non-Classical Logics * Algebraic Logic * Abstract Algebraic Logic * Completeness Theorems * Logical Matrices * Weakly Implicative Logics * Substructural Logics * Generalized Disjunctions * Semilinear Logics * First-Order Logics Spolupracující instituce Ústav teorie informace a automatizace AV ČR (Česká republika) URL https://link.springer.com/book/9783030856748 Trvalý link http://hdl.handle.net/11104/0309152 Název souboru Staženo Velikost Komentář Verze Přístup 0524930-errata3.pdf 24 207 KB Errata 9. 8. 2022 Jiná povolen
Počet záznamů: 1