scientific article; zbMATH DE number 560935
From MaRDI portal
Publication:4289329
algebraic interpretationcountable Łukasiewicz logicfunctional completenessfuzzy logicinterpretation of the non-classical truth valueslogical matricesmany-valued logicnonclassical logicPost logicsprobabilityquantificationswitching theorythree-valued propositional logic of Łukasiewicz
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Probability and inductive logic (03B48) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Other nonclassical logic (03B60)
Recommendations
Cited in
(96)- A generic framework for adaptive vague logics
- Taking degrees of truth seriously
- Remarks on a survey article on many valued logic by A. Urquhart
- Periodicity of negation
- Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models
- Many-valued multi-modal logics, satisfiability problem
- Four-valued paradefinite logics
- Geometrical methods in Wajsberg hoops
- Lewis dichotomies in many-valued logics
- On the meaning of connectives (apropos of a non-necessitarianist challenge)
- Pavelka-style fuzzy logic in retrospect and prospect
- Calculi for many-valued 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
- A dissimilarity-based framework for generating inconsistency-tolerant logics
- Adding a conditional to Kripke's theory of truth
- Pure logic of many-many ground
- A three-valued Fregean quantification logic
- Logics for actor networks: a two-stage constrained-hybridisation approach
- Institutional semantics for many-valued logics
- Duality in finite many-valued logics
- Neutral free logic: motivation, proof theory and models
- Many-valued logic and fuzzy set theory
- A treatise on many-valued logics
- Two Principles in Many-Valued Logic
- Paraconsistency and Sette's calculus P1
- K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
- scientific article; zbMATH DE number 3866574 (Why is no real title available?)
- The development of many-valued logics
- scientific article; zbMATH DE number 5522837 (Why is no real title available?)
- scientific article; zbMATH DE number 3896896 (Why is no real title available?)
- scientific article; zbMATH DE number 3963798 (Why is no real title available?)
- scientific article; zbMATH DE number 3966019 (Why is no real title available?)
- scientific article; zbMATH DE number 4041870 (Why is no real title available?)
- scientific article; zbMATH DE number 50896 (Why is no real title available?)
- scientific article; zbMATH DE number 1734464 (Why is no real title available?)
- scientific article; zbMATH DE number 1028817 (Why is no real title available?)
- scientific article; zbMATH DE number 1076961 (Why is no real title available?)
- scientific article; zbMATH DE number 1120742 (Why is no real title available?)
- scientific article; zbMATH DE number 2019873 (Why is no real title available?)
- Many-Valued Logics and Translations
- Kripke‐style semantics for many‐valued logics
- scientific article; zbMATH DE number 1749199 (Why is no real title available?)
- An inferentially many-valued two-dimensional notion of entailment
- Many-valued logics. A mathematical and computational introduction
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
- Infinite valued Łukasiewicz logic
- Many-valued logics. 1: Theoretical foundations
- scientific article; zbMATH DE number 1383060 (Why is no real title available?)
- scientific article; zbMATH DE number 1820745 (Why is no real title available?)
- scientific article; zbMATH DE number 2101973 (Why is no real title available?)
- scientific article; zbMATH DE number 2101974 (Why is no real title available?)
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
- scientific article; zbMATH DE number 936957 (Why is no real title available?)
- Łukasiewicz logic: an introduction
- Non Truth-Functional Many-Valuedness
- scientific article; zbMATH DE number 1453810 (Why is no real title available?)
- Many-valued logics -- implications and semantic consequences
- scientific article; zbMATH DE number 6423950 (Why is no real title available?)
- Propositional logics complexity and the sub-formula property
- Many-valuedness from a universal logic perspective
- scientific article; zbMATH DE number 3895040 (Why is no real title available?)
- Three-valued paraconsistent propositional logics
- New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*
- scientific article; zbMATH DE number 5174566 (Why is no real title available?)
- An introduction to many-valued and fuzzy logic. Semantics, algebras, and derivation systems
- Effectiveness and multivalued logics
- scientific article; zbMATH DE number 5065666 (Why is no real title available?)
- Vagueness and Roughness
- scientific article; zbMATH DE number 3273876 (Why is no real title available?)
- scientific article; zbMATH DE number 3397454 (Why is no real title available?)
- Неклассический взгляд на природу значений истинности
- Many-valued logics
- Conservative translations
- Adding structure to MV-algebras
- GÖDEL ON MANY-VALUED LOGIC
- Sequent-type rejection systems for finite-valued non-deterministic logics
- From many-valued consequence to many-valued connectives
- Why classical logic is privileged: justification of logics based on translatability
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Ideal paraconsistent logics
- Possible worlds in use
- Many-valued logic in multistate and vague stochastic systems
- Some problems concerning axiom systems for finitely many-valued propositional logics
- Many-valued modalities and paraconsistency
- Jan Łukasiewicz's program of the logicization of philosophy: its genesis, content and realizations
- Modal weak Kleene logics through variables inclusion
- Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa
- Carnap's (categoricity) problem
- Kripke's fixed points and Leitgeb's semantic dependence
- 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
- Many-valued computational logics
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system
- Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory
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)
