Non-Classical Mathematics. Workshop at UNILOG 2013

0391884 - ÚI 2014 RIV eng U - Uspořádání akce
Běhounek, Libor - Cintula, Petr
Non-Classical Mathematics. Workshop at UNILOG 2013.
[Rio de Janeiro, 03.04.2013, (W-WRD 15/10)]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: non-classical mathematics * constructive mathematics * inconsistent mathematics * fuzzy mathematics
Kód oboru RIV: BA - Obecná matematika
http://www.uni-log.org/ss4-NCM.html

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.
Trvalý link: http://hdl.handle.net/11104/0220856