Studies in Constructive Mathematics and Mathematical Logic

Part I

Buch | Softcover

88 Seiten

1997 | Softcover reprint of the original 1st ed. 1969
Springer-Verlag New York Inc.
978-1-4684-8970-5 (ISBN)

Titel wird leider nicht erscheinen

Artikel merken

Method of Establishing Deducibility in Classical Predicate Calculus.- On the Correction of Unprovable Formulas.- Lebesgue Integral in Constructive Analysis.- Sufficient Conditions of Incompleteness for the Formalization of Parts of Arithmetic.- Normal Form for Deductions in Predicate Calculus with Equality and Functional Symbols.- Some Reduction Classes and Undecidable Theories.- Deductive Validity and Reduction Classes.- Problem of Decidability for Some Constructive Theories of Equalities.- On Constructive Groups.- Invertible Sequential Variant of Constructive Predicate Calculus.- Choice of Terms in Quantifier Rules of Constructive Predicate Calculus.- Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus.- Variation in the Deduction Search Tactics in Sequential Calculus.- Imbedding Operations Associated with Kripke's "Semantics".- On Imbedding Operators.- Undecidability of a Class of Formulas Containing Just One Single-Place Predicate Variable in Modal Calculus.- Sequential Modification of Constructive Logic Calculus for Normal Formulas without Structural Deduction Rules.- On Sequential Modifications of Applied Predicate Calculi.- On Maximal Continuity Regulators for Constructive Functions.- On Representability of Algorithmic ally Decidable Predicates by Rabin Machines.

Erscheinungsdatum	20.12.2018
Reihe/Serie	Seminars in mathematics ; 4
Zusatzinfo	VIII, 88 p.
Verlagsort	New York, NY
Sprache	englisch
Maße	216 x 280 mm
Themenwelt	Schulbuch / Wörterbuch
	Geisteswissenschaften
	Sozialwissenschaften
Schlagworte	Boundary element method • Calc • Calculus • Equality • Function • Integral • Logic • Mathematical Logic • Mathematics • MINT • Proof • Reporting • Semantics • Theorem • Volume
ISBN-10	1-4684-8970-4 / 1468489704
ISBN-13	978-1-4684-8970-5 / 9781468489705
Zustand	Neuware