Dualities for Structures of Applied Logics

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

32,70 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Beschreibung

This book provides a framework for presenting algebras and frames arising as semantic structures for formal languages and for proving relationships between the structures. For this purpose a discrete framework, referred to as discrete duality, is used rather than a topological framework.

Ideas from the classical dualities and representations of Stone, Priestley, and Urquhart are applied in such a way that topology is not part of any of the underlying structures or relationships. A key contribution of the book is the formulation of the concept of duality via truth for expressing that a class of algebras and a class of frames determine equivalent notions of truth for a given formal language.

Discrete duality and duality via truth are applied to a wealth of case studies presented in three main parts, namely, classes of Boolean lattices, distributive lattices, and general, that is not necessarily distributive, lattices, respectively.

The book is self-contained and all the results are proved in sufficient detail enabling an easy verification.

Details

Erscheinungsjahr:	2015
Fachbereich:	Grundlagen
Genre:	Importe , Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9781848901810
ISBN-10:	184890181X
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Orlowska, Ewa Radzikowska, Anna Maria Rewitzky, Ingid
Hersteller:	College Publications
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	234 x 156 x 22 mm
Von/Mit:	Ewa Orlowska (u. a.)
Erscheinungsdatum:	15.07.2015
Gewicht:	0,6 kg