About: Prague Seminar on Substructural Logics

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

About: Prague Seminar on Substructural Logics 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.cs.cas.cz/cintula/PSSubLog
Description	Substructural logics are non-classical logics weaker than classical logic, notable for the absence of structural rules present in classical logic. These logics are motivated by considerations from philosophy (relevant logics), linguistics (the Lambek calculus) and computing (linear logic). In addition, techniques from substructural logics are useful in the study of traditional logics such as classical and intuitionistic logic. The two-day seminar featured several of the world's most prominent experts in the area who gave long detailed presentations explaining their recent advances in the area. Substructural logics are non-classical logics weaker than classical logic, notable for the absence of structural rules present in classical logic. These logics are motivated by considerations from philosophy (relevant logics), linguistics (the Lambek calculus) and computing (linear logic). In addition, techniques from substructural logics are useful in the study of traditional logics such as classical and intuitionistic logic. The two-day seminar featured several of the world's most prominent experts in the area who gave long detailed presentations explaining their recent advances in the area. (en)
Title	Prague Seminar on Substructural Logics Prague Seminar on Substructural Logics (en)
skos:prefLabel	Prague Seminar on Substructural Logics Prague Seminar on Substructural Logics (en)
skos:notation	RIV/67985807:_____/14:00427516!RIV15-GA0-67985807
http://linked.open...avai/riv/aktivita	I P
http://linked.open...avai/riv/aktivity	I, P(GBP202/12/G061)
http://linked.open...vai/riv/dodaniDat	2015
http://linked.open...aciTvurceVysledku	Cintula, Petr
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	38489
http://linked.open...ai/riv/idVysledku	RIV/67985807:_____/14:00427516
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	mathematical logic; substructural logic; logic in computer science (en)
http://linked.open.../riv/klicoveSlovo	logic in computer science mathematical logic substructural logic
http://linked.open...ontrolniKodProRIV	[6554724B4528]
http://linked.open...v/mistoKonaniAkce	Prague
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...ocetUcastnikuAkce	20 (xsd:int)
http://linked.open...nichUcastnikuAkce	7 (xsd:int)
http://linked.open...vavai/riv/projekt	Center of excellence - Institute for theoretical computer science (CE-ITI)
http://linked.open...UplatneniVysledku	2014
http://linked.open...iv/statKonaniAkce	CZ - Česká republika
http://linked.open...iv/tvurceVysledku	Cintula, Petr
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/ukonceniAkce	2014-03-29 (xsd:date)
http://linked.open.../riv/zahajeniAkce	2014-03-28 (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