What is a logical system? An evolutionary view: 1964–2014
Book chapter (January 2014)
The most recent citing publication is shown below. View this citation on Dimensions.
Proof, Computation and Agency
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 What Is Mathematical Logic? A Survey
-
Altmetric BadgeChapter 2 Is There a Logic of Society?
-
Altmetric BadgeChapter 3 What Is a Proof?
-
Altmetric BadgeChapter 4 A Visit to Tarski’s Seminar on Elimination of Quantifiers
-
Altmetric BadgeChapter 5 Deductive Systems of Fuzzy Logic
-
Altmetric BadgeChapter 6 What Is the Difference Between Proofs and Programs?
-
Altmetric BadgeChapter 7 Zero-One Laws: Thesauri and Parametric Conditions
-
Altmetric BadgeChapter 8 Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic
-
Altmetric BadgeChapter 9 Proof, Computation and Agency
-
Altmetric BadgeChapter 10 An Introduction to Quantum Computing
-
Altmetric BadgeChapter 11 Logic Games: From Tools to Models of Interaction
-
Altmetric BadgeChapter 12 In memory of Jasu Magan Bhana Panchia (1963–1991): Iterated Belief Revision in Dynamic Doxastic Logic
-
Altmetric BadgeChapter 13 Towards a Logical Analysis of Adjusted Winner
-
Altmetric BadgeChapter 14 Temporal Logic with Preferences and Reasoning About Games
-
Altmetric BadgeChapter 15 From Sentence Meanings to Full Semantics
-
Altmetric BadgeChapter 16 Some Reflections on Discrete Mathematical Models in Behavioral, Cognitive and Social Sciences
-
Altmetric BadgeChapter 17 History and Development of Indian Logic: An Overview
-
Altmetric BadgeChapter 18 Indian Logic and Philosophy of Science: The Logic-Epistemology Link
-
Altmetric BadgeChapter 19 The Concept of Hetvābhāsa in Nyāya-śāstra