Many-Valued Logics. Workshop at UNILOG 2013

0391882 - ÚI 2014 RIV eng U - Uspořádání akce
Cintula, Petr - Noguera, Carles - Spada, L.
Many-Valued Logics. Workshop at UNILOG 2013.
[Rio de Janeiro, 04.04.2013-05.04.2013, (W-WRD 30/23)]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical logic * multi-valued logics * algebraic logic
Kód oboru RIV: BA - Obecná matematika
http://www.uni-log.org/ss4-MVL.html

Many-valued logics are non-classical logics whose intended semantics has more than two truth-values. Their study started in the early 20th century as a rather marginal topic with some works of Lukasiewicz and Post on finitely-valued logics. However, in the last decades, many-valued logics have gained more and more prominence and have attracted an increasing number of researchers studying a growing family of logics arising from a heterogenous variety of motivations and yielding numerous applications. This UNILOG workshop featured submissions devoted to the study of any aspect of any kind of many-valued logics.
Trvalý link: http://hdl.handle.net/11104/0220855