A General Algebraic Semantics for Sentential Logics

Font, Josep M.

53,49 €

ISBN: 9783540616993

Breite: 15,5 cm

Höhe: 23,5 cm

Gewicht: 236 g

Produktinformationen "A General Algebraic Semantics for Sentential Logics"

The purpose of this monograph is to develop a very general approach to the algebra ization of sententiallogics, to show its results on a number of particular logics, and to relate it to other existing approaches, namely to those based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others. The main distinctive feature of our approachlies in the mathematical objects used as models of a sententiallogic: We use abstract logics, while the dassical approaches use logical matrices. Using models with more structure allows us to reflect in them the metalogical properties of the sentential logic. Since an abstract logic can be viewed as a "bundle" or family of matrices, one might think that the new models are essentially equivalent to the old ones; but we believe, after an overall appreciation of the work done in this area, that it is precisely the treatment of an abstract logic as a single object that gives rise to a useful -and beautiful- mathematical theory, able to explain the connections, not only at the logical Ievel but at the metalogical Ievel, between a sentential logic and the particular dass of models we associate with it, namely the dass of its full models. Traditionally logical matrices have been regarded as the most suitable notion of model in the algebraic studies of sentential logics; and indeed this notion gives sev eral completeness theorems and has generated an interesting mathematical theory.

Eigenschaften "A General Algebraic Semantics for Sentential Logics"

Format:	Taschenbuch / Softcover
Thema/BIC:	Mathematik: Logik, Theoretische Informatik
Verlag:	Springer

0 von 0 Bewertungen

Bewerten Sie dieses Produkt!

Teilen Sie Ihre Erfahrungen mit anderen Kunden.

Anmelden

Ihre E-Mail-Adresse

Ihr Passwort

Bewertungen nur in der aktuellen Sprache anzeigen.

Keine Bewertungen gefunden. Teilen Sie Ihre Erfahrungen mit anderen.

EU Gewährleistungssiegel

Die EU führt ein verpflichtendes, einheitliches EU-Label zur Information über die gesetzliche Gewährleistung ein, ergänzt durch ein Garantielabel, sofern eine freiwillige Herstellergarantie besteht.

Ziel der neuen Regelung ist es, Verbraucherrechte transparenter darzustellen und europaweit einheitliche Informationsstandards zu schaffen. Verbraucher sollen auf einen Blick erkennen können, welche gesetzlichen Mindeststandards gelten, unabhängig davon, in welchem Land oder bei welchem Händler sie einkaufen.

EU Warranty Label

The European Union is introducing a mandatory, standardized EU label to provide information about consumers’ statutory warranty rights. This will be complemented by a guarantee label where a voluntary manufacturer’s guarantee is offered.

The purpose of this new regulation is to make consumer rights more transparent and to establish consistent information standards across the European Union. Consumers should be able to see at a glance which statutory minimum protections apply, regardless of the country or retailer from which they make a purchase.