Non-Classical Mathematics. Workshop at UNILOG 2013

Kód výsledku v IS VaVaI

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

Výsledek na webu

<a href="http://www.uni-log.org/ss4-NCM.html" target="_blank" >http://www.uni-log.org/ss4-NCM.html</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Non-Classical Mathematics. Workshop at UNILOG 2013

Popis výsledku v původním jazyce

The 20th century has witnessed several attempts to build (parts of) mathematics on grounds other than those provided by classical logic. The original intuitionist and constructivist renderings of set theory, arithmetic, analysis, etc. were later accompanied by those based on relevant, paraconsistent, contraction-free, modal, and other non-classical logical frameworks. The bunch of such theories can be called non-classical mathematics and formally understood as a study of (any part of) mathematics that is, or can in principle be, formalized in some logic other than classical logic. The scope of non-classical mathematics includes any mathematical discipline that can be formalized in a non-classical logic or in an alternative foundational theory over classical logic, and topics closely related to such non-classical or alternative theories.

Název v anglickém jazyce

Non-Classical Mathematics. Workshop at UNILOG 2013

Popis výsledku anglicky

The 20th century has witnessed several attempts to build (parts of) mathematics on grounds other than those provided by classical logic. The original intuitionist and constructivist renderings of set theory, arithmetic, analysis, etc. were later accompanied by those based on relevant, paraconsistent, contraction-free, modal, and other non-classical logical frameworks. The bunch of such theories can be called non-classical mathematics and formally understood as a study of (any part of) mathematics that is, or can in principle be, formalized in some logic other than classical logic. The scope of non-classical mathematics includes any mathematical discipline that can be formalized in a non-classical logic or in an alternative foundational theory over classical logic, and topics closely related to such non-classical or alternative theories.

Druh

W - Uspořádání workshopu

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP202%2F10%2F1826" target="_blank" >GAP202/10/1826: Matematická fuzzy logika v informatice</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2013

Kód důvěrnosti údajů

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

Místo konání akce

Rio de Janeiro

Stát konání akce

BR - Brazilská federativní republika

Datum zahájení akce

—

Datum ukončení akce

—

Celkový počet účastníků

15

Počet zahraničních účastníků

10

Typ akce podle státní přísl. účastníků

WRD - Celosvětová akce