Produkt
KlappentextCompleteness is one of the most important notions in logic and the foundations of mathematics. Completeness understood in this sense is the adequacy of logic in relation to some semantics, and the change of the logic is accompanied by the change of its semantics.
Zusammenfassung
Develops theory for one of the most important notions in the methodology of formal systems
Allows a more profound view upon essential properties of propositional systems
Theory of logical matrices and of consequence operations is exploited
Includes supplementary material: sn.pub/extras
Develops theory for one of the most important notions in the methodology of formal systems
Allows a more profound view upon essential properties of propositional systems
Theory of logical matrices and of consequence operations is exploited
Includes supplementary material: sn.pub/extras
Details
ISBN/GTIN978-3-7643-8517-0
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2008
Erscheinungsdatum17.04.2008
Seiten178 Seiten
SpracheEnglisch
Gewicht376 g
IllustrationenVIII, 178 p.
Artikel-Nr.10807415
Rubriken