An Introduction to Many-valued Logics Routledge Library Editions: Logic Series
Auteur : Ackermann Robert
Originally published in 1967. An introduction to the literature of nonstandard logic, in particular to those nonstandard logics known as many-valued logics. Part I expounds and discusses implicational calculi, modal logics and many-valued logics and their associated calculi. Part II considers the detailed development of various many-valued calculi, and some of the important metathereoms which have been proved for them. Applications of the calculi to problems in the philosophy are also surveyed. This work combines criticism with exposition to form a comprehensive but concise survey of the field.
Part 1: Nonstandard Logics 1. Implicational Calculi 2. Modal Logics 3. Many-valued Logics 4. Nonstandard Calculi Part 2: Many-valued Calculi 5. Lukasiewicz-Tarski Propositional Calculi 6. Other Many-valued Calculi 7. Applications of Many-valued Calculi
Ackermann\, Robert
Date de parution : 05-2021
12.9x19.8 cm
Disponible chez l'éditeur (délai d'approvisionnement : 14 jours).
Prix indicatif 37,68 €
Ajouter au panierDate de parution : 11-2019
12.9x19.8 cm
Thèmes d’An Introduction to Many-valued Logics :
Mots-clés :
Modality; deduction; formal logic; inductive; inference; mathematics philosophy; maths philosophy; maths theory; metaphysics; predictive; probability; rationality; reasoning; statistical; symbolic logic; validity; propositional calculi; axiomatic system; non-standard logic; Sufficient Algebraic Conditions; matrix characterization; Set Theoretic Operators; Auxiliary Functions; Yehoshua Bar Hillel; Truth Functional Structure; Modal Calculi; Nonstandard Logics; Disjunctive Normal Form; Standard Logic; PC Variable; Axiom Set; Lewis Systems; Set Theoretic Principles; Axiomatic Characterizations; True False Dichotomy; Curry's Paradox; Rt 4b; False Simpliciter; Truth Functional Logic; Truth Table; Primitive Notation; Order Functional Calculus; Modal Logics; Dyadic Operators