Initiatives in Logic
Published on 30. November 1987
Book
Hardback
X, 261 pages
978-90-247-3600-3 (ISBN)
Description
Reviews / Votes
` .., the reviewed collection may be recommended as an important contribution to the history as well as a description of some recent logical investigations. 'Studia Logica 12 (1) 1990
More details
Series
Edition
1987 ed.
Language
English
Place of publication
Dordrecht
Netherlands
Publishing group
Springer
Target group
College/higher education
Professional and scholarly
Research
Illustrations
X, 261 p.
Dimensions
Height: 241 mm
Width: 160 mm
Thickness: 20 mm
Weight
582 gr
ISBN-13
978-90-247-3600-3 (9789024736003)
DOI
10.1007/978-94-009-3673-7
Schweitzer Classification
Other editions
Additional editions
Content
Leibniz's Calculus of Strict Implication.- Leibniz's Modal Calculus of Concepts.- The Logic of Conditions.- Philosophical Pragmatism in Poincare.- A Note on Zeno B3.- Generalizations and Strengthenings of Gödel's Incompleteness Theorem.- The Logical Work of Mordchaj Wajsberg.- Notes on Wajsberg's Proof of the Separation Theorem.- Logical Analysis of Thomism The Polish Programme that originated in 1930's.- On Justification of Questions.- The Logic of Types.- Systems of Computer-Aided Reasoning for Mathematics and Natural Language.- Two Reports on Educational Applications of MIZAR MSE, a System of Computer-Aided Reasoning The application of MIZAR MSE in a course in logic.- The use of MIZAR MSE in a course in foundations of geometry.- Literature.- Index of Names.