About: Non-Classical Mathematics. Workshop at UNILOG 2013

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Non-Classical Mathematics. Workshop at UNILOG 2013 Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://www.uni-log.org/ss4-NCM.html
Description	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. 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. (en)
Title	Non-Classical Mathematics. Workshop at UNILOG 2013 Non-Classical Mathematics. Workshop at UNILOG 2013 (en)
skos:prefLabel	Non-Classical Mathematics. Workshop at UNILOG 2013 Non-Classical Mathematics. Workshop at UNILOG 2013 (en)
skos:notation	RIV/67985807:_____/13:00391884!RIV14-GA0-67985807
http://linked.open...avai/predkladatel	Ústav informatiky AV ČR, v.v.i.
http://linked.open...avai/riv/aktivita	I P
http://linked.open...avai/riv/aktivity	I, P(GAP202/10/1826)
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Cintula, Petr Běhounek, Libor
http://linked.open.../riv/druhVysledku	W - Uspořádání (zorganizování) workshopu
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Ústav informatiky AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	91908
http://linked.open...ai/riv/idVysledku	RIV/67985807:_____/13:00391884
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	non-classical mathematics; constructive mathematics; inconsistent mathematics; fuzzy mathematics (en)
http://linked.open.../riv/klicoveSlovo	constructive mathematics inconsistent mathematics fuzzy mathematics non-classical mathematics
http://linked.open...ontrolniKodProRIV	[924506153843]
http://linked.open...v/mistoKonaniAkce	Rio de Janeiro
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...ocetUcastnikuAkce	15 (xsd:int)
http://linked.open...nichUcastnikuAkce	10 (xsd:int)
http://linked.open...vavai/riv/projekt	Matematická fuzzy logika v informatice
http://linked.open...UplatneniVysledku	2013
http://linked.open...iv/statKonaniAkce	BR - Brazilská federativní republika
http://linked.open...iv/tvurceVysledku	Běhounek, Libor Cintula, Petr
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/ukonceniAkce	2013-04-03 (xsd:date)
http://linked.open.../riv/zahajeniAkce	2013-04-03 (xsd:date)

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software