International Workshop on Algebraic Logic in Computer Science

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F13%3A00399587" target="_blank" >RIV/67985807:_____/13:00399587 - isvavai.cz</a>

Result on the web

<a href="http://www.cs.cas.cz/cintula/lpar-workshop-ALCS.html" target="_blank" >http://www.cs.cas.cz/cintula/lpar-workshop-ALCS.html</a>

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

International Workshop on Algebraic Logic in Computer Science

Original language description

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 hasdeveloped 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.

Czech name

—

Czech description

—

Type

W - Workshop organization

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

<a href="/en/project/GAP202%2F10%2F1826" target="_blank" >GAP202/10/1826: Mathematical Fuzzy Logic in Computer Science</a><br>

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2013

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Event location

Stellenbosch

Event country

ZA - SOUTH AFRICA

Event starting date

—

Event ending date

—

Total number of attendees

11

Foreign attendee count

9

Type of event by attendee nationality

WRD - Celosvětová akce