"Alten van, C." . . "International Workshop on Algebraic Logic in Computer Science"@en . "Stellenbosch" . "Cintula, Petr" . "3"^^ . . "[83CB886A2EF4]" . . . "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." . . "2"^^ . "2013-12-14+01:00"^^ . . "http://www.cs.cas.cz/cintula/lpar-workshop-ALCS.html" . "International Workshop on Algebraic Logic in Computer Science" . "mathematical logic; logic in computer science; algebraic logic"@en . . "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."@en . "RIV/67985807:_____/13:00399587!RIV14-GA0-67985807" . . . . "9"^^ . "11"^^ . . "International Workshop on Algebraic Logic in Computer Science"@en . . . . . "RIV/67985807:_____/13:00399587" . "I, P(GAP202/10/1826)" . "Noguera, Carles" . . . "2013-12-14+01:00"^^ . . "80832" . "International Workshop on Algebraic Logic in Computer Science" . . .