Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

General Algebraic Semantics for Sentential Logics

Name: General Algebraic Semantics for Sentential Logics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02172681
Price: 1182 CZK
Availability: InStock
Author: Josep M. Font
ISBN: 9783540616993

Josep M. Font

Ramon Jansana

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02172681

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, říjen 1996

This book presents a general process of algebraization, in a wide sense, applicable to any logical s... Celý popis

Libristo kód: 02172681

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Contemporary Urban Planning John M. Levy

Brožovaná

2 551 Kč

Molière Forestier

Brožovaná

652 Kč

Fenomenologia do Egoismo Sabina Maura Silva

Brožovaná

1 318 Kč

Customer Relationship Marketing mit Hilfe des Internets Imke Jaenicke

Brožovaná

1 380 Kč

Koenigtum und Koenigsherrschaft im 10. und 11. Jahrhundert Egon Boshof

Brožovaná

478 Kč

acht Gesichter am Biwasee Max Dauthendey

Brožovaná

795 Kč

Monch Und Landsknecht Max Eyth

Pevná

509 Kč

Fundamentacion Filosofica del Derecho En Kant Margarita Belandria

Brožovaná

794 Kč

This book presents a general process of algebraization, in a wide sense, applicable to any logical system presented as a sentential logic. This process is performed through the use of abstract logics, which are pairs consisting of an algebra and closure operature on it. The main innovation of the book is the notion of full model of a logic. Besides the funda- mental properties of this notion, the relationship between this approach and the more restricted, matrix based ones are studied. Moreover abstract logics are used in a natural way as models of Gentzen calculi. In this way algebraizations of some logics are obtained that are not possible in more standard approaches. The book is addressed to logicians with an interest in the algebraic aspect of logic or an interest in general theories of sentential logics.