Nemokamas pristatymas nuo 29€

  • check 10 + milijonai knygų
  • check Naujienos (kiekvieną dieną)
  • check 1 + mln. klientų mus pasitiki
  • check Geros kainos % Nuolaidos
  • check Nemokamas pristatymas nuo 29 eur

A General Algebraic Semantics for Sentential Logics - Josep M. Font,Ramon Jansana

Anglų
1996-10-02
60,05 € 92,38 €

-35% su kodu BOOKS

Turime sandėlyje pas mūsų tiekėją

Pristatymas per 12-18 d.d.

30 dienų grąžinimo politika

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 ob ... Visas aprašymas

Jums taip pat gali patikti

Aprašymas

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.

Daugiau informacijos

Autorius Josep M. Font, Ramon Jansana
Leidėjas Springer Berlin Heidelberg
Series Lecture Notes in Logic
Išleidimo metai 1996
Viršelio tipas Minkšti viršeliai
EAN 9783540616993
Parašykite savo atsiliepimą
Jūs peržiūrėjote: A General Algebraic Semantics for Sentential Logics
Jūsų įvertinimas:

Goodreads Atsiliepimai

60,05 € 92,38 €