Publication:4289329
From MaRDI portal
zbMath0807.03010MaRDI QIDQ4289329
Publication date: 3 May 1994
quantification; fuzzy logic; probability; many-valued logic; logical matrices; nonclassical logic; functional completeness; switching theory; algebraic interpretation; countable Łukasiewicz logic; interpretation of the non-classical truth values; Post logics; three-valued propositional logic of Łukasiewicz
03B52: Fuzzy logic; logic of vagueness
03B60: Other nonclassical logic
03B48: Probability and inductive logic
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B50: Many-valued logic
Related Items
Many-Valued Logics and Translations, An Inferentially Many-Valued Two-Dimensional Notion of Entailment, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Four-Valued Logics BD and DM4: Expansions, The Infinite-Valued Łukasiewicz Logic and Probability, Unnamed Item, Non Truth-Functional Many-Valuedness, Three-Valued Paraconsistent Propositional Logics, New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*, Vagueness and Roughness, Conservative translations, Adding structure to MV-algebras, Неклассический взгляд на природу значений истинности, GÖDEL ON MANY-VALUED LOGIC, Sequent-type rejection systems for finite-valued non-deterministic logics, Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3, Maximal and premaximal paraconsistency in the framework of three-valued semantics, Ideal paraconsistent logics, Possible worlds in use, Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics, De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics, Suszko's thesis, inferential many-valuedness, and the notion of a logical system, Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory, A generic framework for adaptive vague logics, Taking degrees of truth seriously, Periodicity of negation, Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models, Four-valued paradefinite logics, Geometrical methods in Wajsberg hoops, On the meaning of connectives (apropos of a non-necessitarianist challenge), Pavelka-style fuzzy logic in retrospect and prospect, Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism, Valuation semantics for first-order logics of evidence and truth, A dissimilarity-based framework for generating inconsistency-tolerant logics, Adding a conditional to Kripke's theory of truth, A three-valued Fregean quantification logic, Logics for actor networks: a two-stage constrained-hybridisation approach, Neutral free logic: motivation, proof theory and models, Paraconsistency and Sette’s calculus P1
