Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

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: 54.41 EUR
Availability: InStock
Author: Josep M. Font
ISBN: 9783540616993

Josep M. Font

Ramon Jansana

Език

Английски език

Книга С меки корици

Код Либристо: 02172681

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, октомври 1996

This book presents a general process of algebraization, in a wide sense, applicable to any logical s... Цялото описание

Код Либристо: 02172681

132 b

54.41 €

106.41 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Contemporary Urban Planning John M. Levy

С меки корици

115.39 € 225.67 лв

Molière Forestier

С меки корици

28.29 € 55.32 лв

Fenomenologia do Egoismo Sabina Maura Silva

С меки корици

61.23 € 119.76 лв

Customer Relationship Marketing mit Hilfe des Internets Imke Jaenicke

С меки корици

64.13 € 125.43 лв

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

С меки корици

22.08 € 43.18 лв

acht Gesichter am Biwasee Max Dauthendey

С меки корици

34.65 € 67.77 лв

Monch Und Landsknecht Max Eyth

С твърди корици

23.68 € 46.32 лв

Fundamentacion Filosofica del Derecho En Kant Margarita Belandria

С меки корици

36.92 € 72.22 лв

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.