Trends in Logic
50 Years of Studia Logica
Seiten
2010
|
Softcover reprint of hardcover 1st ed. 2003
Springer (Verlag)
978-90-481-6414-1 (ISBN)
Springer (Verlag)
978-90-481-6414-1 (ISBN)
In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of Sciences. Now, five decades later the present volume is dedicated to a celebration of this 50th Anniversary of Studia Logica. The volume features a series of papers by distinguished scholars reflecting both the aim and scope of this journal for symbolic logic.
50 Years of Studia Logica: Editorial Introduction.- Polish Logic in Postwar Period.- Fifty Years: Changes and Constants in Logic.- Generalized Matrices in Abstract Algebraic Logic.- Intensional Logic — Beyond First Order.- Questions of Canonicity.- ?ukasiewicz Logic and Chang’s MV Algebras in Action.- Substructural Logics and Residuated Lattices — an Introduction.- Quantum Computational Logics: A Survey.- Inconsistent Arithmetics: Issues Technical and Philosophical.- Inconsistency-tolerant Description Logic: Motivation and Basic Systems.- Type Logics in Grammar.
Erscheint lt. Verlag | 15.12.2010 |
---|---|
Reihe/Serie | Trends in Logic ; 21 |
Zusatzinfo | VII, 384 p. |
Verlagsort | Dordrecht |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika |
Geisteswissenschaften ► Philosophie ► Logik | |
Informatik ► Software Entwicklung ► User Interfaces (HCI) | |
Informatik ► Theorie / Studium ► Kryptologie | |
Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
ISBN-10 | 90-481-6414-1 / 9048164141 |
ISBN-13 | 978-90-481-6414-1 / 9789048164141 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Lean UX und Design Thinking: Teambasierte Entwicklung …
Buch | Hardcover (2022)
dpunkt (Verlag)
CHF 48,85
Aus- und Weiterbildung nach iSAQB-Standard zum Certified Professional …
Buch | Hardcover (2023)
dpunkt Verlag
CHF 48,85
Wissensverarbeitung - Neuronale Netze
Buch | Hardcover (2023)
Carl Hanser (Verlag)
CHF 48,95