Theories for admissible sets
A unifying approach to Proof Theory.
Lingua: inglese
Categoria: LOGICA, Logica matematica, MATEMATICA.€26.00
In this Habilitationschrift we will present a unifying approch to the proof theory of theories in strength between Peano arithmetic PA and the theory kPi defined below. The central notion is that of admissible set; the central method is the systematic use of theories for (literated) admissible sets.
Prodotti correlati
-
€39.00Gödel Remembered
The contributers deal with topics concerning Gödel’s life and interests continua
-
€62.00Introduction to Deontic Logic and the Theory of Normative Systems
Autore: Aqvist LennartThe book deals with deontic logic in the broad sense continua
-
€26.00Indagini semantiche sulle logiche intermedie proposizionali
Autore: Minari Pier L.Con il nome di “logiche intermedie proposizionali” (Umezawa 1955) si continua
-
€36.00Categorial Grammar and the Logical Form of Quantification
Autore: Levin Harold D.Il libro di Levin si compone di tre capitoli, preceduti continua