Probíhá komunikace se serverem...

Consequence, Inference, Structure

Autor Marta Bílková (ed.)
Vydavatel Univerzita Karlova v Praze, Filozofická fakulta
Rok vydání 2008
ISBN 978-80-7308-261-1
Ediční řada Miscellanea logica VII
Počet stran 144
Běžná cena 160
Cena (vč.DPH 10 %) 144 Kč
Skladem ANO
Počet  ks
Popis produktu:
Sedmé číslo série sborníků Miscellanea Logica "Consequence, Inference, Structure" obsahuje pět původních studií z matematické logiky, které se z různých hledisek zabývají pojetím logického důsledku a jeho strukturálními vlastnostmi. Dva z článků jsou přímo věnovány substrukturálním logikám a jejich metamatematickému využití: první zkoumá, jak v jedné ze substrukturálních logik, logice relevanční, formulovat aritmetiku (článek "Models for Substructural Arithmetics" G. Restalla), druhý využívá substrukturální sémantiku k úvahám o složitosti důkazů v intuicionistické logice (článek "Semantics for Sub-intuitionistic Logics" J. Joostena). Článek M. Bílkové se zabývá souvislostí normálních forem, distributivních zákonů a interpolace v modální logice, příspěvek M. Peliše je věnován relacím důsledku v erotetické logice -- logice otázek. Posledním článkem sborníku je rozsáhlý přehled "A Quick Guide to Independence Results in Set Theory" R. Honzíka. Sborník je v anglickém jazyce a je též spolu s předchozími čísly série k dispozici online na adrese http://www.miscellanea-logica.info.


Nejčastěji prodávané produkty společně se zobrazeným zbožím:

Miscellanea Logica VIII - Foundations of Logic

144 Kč

Flowers & Formulas: nature as symbolic code in old Tamil love poetry

144 Kč

Mezi náboženstvím a politikou. Lidová kultura raného novověku

126 Kč
Tato stránka používá soubory cookies, prostřednictvím kterých uchovává informace ve vašem počítači. Některé cookies zajišťují správnou funkci těchto stránek a bez jejich užití by stránku nebylo možné řádně zobrazit. Jiné cookies nám pomáhají vylepšovat stránky tím, že nám dovolí nahlédnout, jak jsou stránky používány. Cookies používáme na základě vašeho souhlasu, který vyjadřujete nastavením svého internetového prohlížeče tak, že ukládání těchto cookies umožňuje. Pokud si přejete svůj souhlas s používáním těchto cookies odvolat, proveďte prosím příslušné nastavení vašeho internetového prohlížeče. Beru na vědomí