Theory of Logical Calculi

Basic Theory of Consequence Operations

Specificaties
Paperback, 474 blz. | Engels
Springer Netherlands | 0e druk, 2013
ISBN13: 9789401569446
Rubricering
Juridisch :
Springer Netherlands 0e druk, 2013 9789401569446
Onderdeel van serie Synthese Library
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both classical and non-dassicallogirs may be studied and appraised. Although quantificational logic is dealt with briefly in the last chapter, the discussion is chiefly concemed with propo­ gjtional cakuli. Still, the subject, as it stands today, cannot br covered in one book of reasonable length. Rather than to try to include in the volume as much as possible, I have put emphasis on some selected topics. Even these could not be roverrd completely, but for each topic I have attempted to present a detailed and precise t'Xposition of several basic results including some which are non-trivial. The roots of some of the central ideas in the volume go back to J.Luka­ siewicz's seminar on mathematicallogi

Specificaties

ISBN13:9789401569446
Taal:Engels
Bindwijze:paperback
Aantal pagina's:474
Uitgever:Springer Netherlands
Druk:0

Inhoudsopgave

0. Introduction.- 1. Basic Concepts.- 2. Deductive Bases and Interpretations.- 3. Logical Matrices.- 4. Tabular Semantics.- 5. Referential Semantics.- 6. Propositional vs. Predicate Logics.- References.- Index of subjects.- Index of names.- Index of symbols.

Net verschenen

Rubrieken

Populaire producten

    Personen

      Trefwoorden

        Theory of Logical Calculi