Počet záznamů: 1
Standard Completeness for Uninorm-Based Logics
- 1.0460115 - ÚI 2017 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Baldi, Paolo - Ciabattoni, A.
Standard Completeness for Uninorm-Based Logics.
ISMVL 2015. IEEE 45th International Symposium on Multiple-Valued Logic. Los Alamitos: IEEE Computer Society, 2015, s. 78-83. ISBN 978-147991777-8. ISSN 2378-2226.
[ISMVL 2015. IEEE International Symposium on Multiple-Valued Logic /45./. Waterloo (CA), 18.05.2015-20.05.2015]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: density elimination * standard completeness * uninorm logic * hypersequent
Kód oboru RIV: BA - Obecná matematika
We provide a uniform proof of standard completeness for a large class of axiomatic extensions of Uninorm Logic.
Trvalý link: http://hdl.handle.net/11104/0260250
Název souboru Staženo Velikost Komentář Verze Přístup a0460115.pdf 4 267.6 KB Vydavatelský postprint vyžádat
Počet záznamů: 1