scientific article; zbMATH DE number 560935

zbMATH Open0807.03010MaRDI QIDQ4289329FDOQ4289329

Authors: Grzegorz Malinowski 

Publication date: 3 May 1994

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1749199
• scientific article; zbMATH DE number 201040
• scientific article; zbMATH DE number 1120742

zbMATH Keywords

quantificationfunctional completenessprobabilitymany-valued logicfuzzy logicnonclassical logicswitching theorylogical matricesalgebraic interpretationcountable Łukasiewicz logicinterpretation of the non-classical truth valuesPost logicsthree-valued propositional logic of Łukasiewicz

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited In (89)

• Many-valued logic in multistate and vague stochastic systems
• Many-valuedness from a universal logic perspective
• Title not available (Why is that?)
• Why classical logic is privileged: justification of logics based on translatability
• Some problems concerning axiom systems for finitely many-valued propositional logics
• Two Principles in Many-Valued Logic
• GÖDEL ON MANY-VALUED LOGIC
• Many-valued modalities and paraconsistency
• Sequent-type rejection systems for finite-valued non-deterministic logics
• Title not available (Why is that?)
• From many-valued consequence to many-valued connectives
• Title not available (Why is that?)
• Title not available (Why is that?)
• Neutral free logic: motivation, proof theory and models
• Title not available (Why is that?)
• Effectiveness and multivalued logics
• An inferentially many-valued two-dimensional notion of entailment
• Title not available (Why is that?)
• De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics
• Remarks on a survey article on many valued logic by A. Urquhart
• Duality in finite many-valued logics
• A three-valued Fregean quantification logic
• Pure logic of many-many ground
• Title not available (Why is that?)
• Periodicity of negation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Four-valued paradefinite logics
• Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
• Title not available (Why is that?)
• Three-valued paraconsistent propositional logics
• Paraconsistency and Sette's calculus P1
• Non Truth-Functional Many-Valuedness
• An introduction to many-valued and fuzzy logic. Semantics, algebras, and derivation systems
• Неклассический взгляд на природу значений истинности
• Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models
• Many-valued logic and fuzzy set theory
• A generic framework for adaptive vague logics
• Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory
• Title not available (Why is that?)
• Adding structure to MV-algebras
• Kripke‐style semantics for many‐valued logics
• Taking degrees of truth seriously
• Propositional logics complexity and the sub-formula property
• Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
• Ideal paraconsistent logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Łukasiewicz logic: an introduction
• Many-valued multi-modal logics, satisfiability problem
• Title not available (Why is that?)
• The development of many-valued logics
• Many-valued logics. A mathematical and computational introduction
• Title not available (Why is that?)
• Lewis dichotomies in many-valued logics
• A treatise on many-valued logics
• New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*
• Title not available (Why is that?)
• Many-valued logics
• On the meaning of connectives (apropos of a non-necessitarianist challenge)
• Many-valued computational logics
• Title not available (Why is that?)
• Adding a conditional to Kripke's theory of truth
• Title not available (Why is that?)
• K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
• Possible worlds in use
• Many-Valued Logics and Translations
• Geometrical methods in Wajsberg hoops
• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• Many-valued logics -- implications and semantic consequences
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• Title not available (Why is that?)
• Infinite valued Łukasiewicz logic
• A dissimilarity-based framework for generating inconsistency-tolerant logics
• Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
• Valuation semantics for first-order logics of evidence and truth
• Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
• Pavelka-style fuzzy logic in retrospect and prospect
• Conservative translations
• Logics for actor networks: a two-stage constrained-hybridisation approach
• Institutional semantics for many-valued logics
• Calculi for many-valued logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Vagueness and Roughness
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4289329)