The many valued and nonmonotonic turn in logic

zbMath1135.03302MaRDI QIDQ2433862

No author found.

Publication date: 31 October 2006

Published in: Handbook of the History of Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

01A60: History of mathematics in the 20th century

00B15: Collections of articles of miscellaneous specific interest

03-03: History of mathematical logic and foundations

03-00: General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations

Related Items

On the Rosser–Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz, Unnamed Item, THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS, The Emergence of Fuzzy Sets: A Historical Perspective, Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics, lfl: an R package for linguistic fuzzy logic, Sequent-type rejection systems for finite-valued non-deterministic logics, Conjunctive paraconsistency, Non-monotonic reasoning via dynamic consequence, Many-valued logic and sequence arguments in value theory, A discussion on the origin of quantum probabilities, Gradualness, uncertainty and bipolarity: making sense of fuzzy sets, Interpolation of fuzzy data: analytical approach and overview, Editorial: Weighted logics for artificial intelligence -- an introductory discussion, A paraconsistent conditional logic, Semantics for dual preferential entailment, Stone-type representations and dualities for varieties of bisemilattices, The legacy of 50 years of fuzzy sets: a discussion, Regularized gap functions and error bounds for generalized mixed weak vector quasivariational inequality problems in fuzzy environments, Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package, Non-monotonic logic and the compatibility of science and religion, A tableaux calculus for default intuitionistic logic, Swyneshed, Aristotle and the rule of contradictory pairs, Submeasures on nuanced MV-algebras., Logic tensor networks, The Possibility and Fruitfulness of a Debate on the Principle of Non-contradiction, Principles Of Talmudic Logic, A Model-Theoretic Analysis of Fidel-Structures for mbC