International Workshop on Algebraic Logic in Computer Science

0399587 - ÚI 2014 RIV eng U - Uspořádání akce
Alten van, C. - Cintula, Petr - Noguera, Carles
International Workshop on Algebraic Logic in Computer Science.
[Stellenbosch, 14.12.2013, (W-WRD 11/9)]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical logic * logic in computer science * algebraic logic
Kód oboru RIV: BA - Obecná matematika
http://www.cs.cas.cz/cintula/lpar-workshop-ALCS.html

Algebraic logic, as the branch of mathematical logic that studies logical systems by giving them a semantics based on some algebraic structures, has been proposed as a unifying approach to deal with the populated landscape of non-classical logics and has developed a variety of techniques which have been fruitfully applied to many families of logics. In particular, algebraic logic has consolidated as a useful approach to many non-classical logics that are introduced as (or have become) systems of reasoning able to cope with a variety of problems arising in computer science and its applications.
Trvalý link: http://hdl.handle.net/11104/0228260