Keywords:
Logic, Symbolic and mathematical
;
Logic, Symbolic and mathematical
;
Sprache
;
Formale Sprache
;
Formale Sprache
;
Sprache
;
Logic, Symbolic and mathematical
;
Unbestimmte Länge
;
Electronic books
Description / Table of Contents:
Infinitary concatenation -- Algebras of terms of infinite length -- Infinitary propositional languages -- Representation theory for Boolean algebras -- Non-deducibility in infinitary propositional logic -- Systems of formulas of infinite length -- Substitution -- Inifinitary predicate languages -- Infinitary predicate logic -- Non-deducibility in infinitary predicate logic -- Definability of the infinitary formal systems -- Incompleteness in infinitary predicate logic
Type of Medium:
Online Resource
Pages:
Online-Ressource (xix, 183 p)
Edition:
Online-Ausg. 2010 Electronic reproduction
ISBN:
9780444534019
Series Statement:
Studies in Logic and the Foundations of Mathematics v. 36
URL:
http://www.sciencedirect.com/science/book/9780444534019
URL:
http://www.sciencedirect.com/science/bookseries/0049237X/36
URL:
https://www.sciencedirect.com/science/bookseries/0049237X/36
DDC:
511.3
Language:
English
Note:
Includes bibliographical references and indexes
,
Infinitary concatenation -- Algebras of terms of infinite length -- Infinitary propositional languages -- Representation theory for Boolean algebras -- Non-deducibility in infinitary propositional logic -- Systems of formulas of infinite length -- Substitution -- Inifinitary predicate languages -- Infinitary predicate logic -- Non-deducibility in infinitary predicate logic -- Definability of the infinitary formal systems -- Incompleteness in infinitary predicate logic.
,
Electronic reproduction
Permalink