Number of the records: 1
International Workshop on Algebraic Logic in Computer Science
- 1.0399587 - ÚI 2014 RIV eng U - Conference, Workshop Arrangement
Alten van, C. - Cintula, Petr - Noguera, Carles
International Workshop on Algebraic Logic in Computer Science.
[Stellenbosch, 14.12.2013, (W-WRD 11/9)]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : mathematical logic * logic in computer science * algebraic logic
Subject RIV: BA - General Mathematics
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.
Permanent Link: http://hdl.handle.net/11104/0228260
Number of the records: 1