Taking degrees of truth seriously

DOI10.1007/s11225-009-9180-7zbMath1169.03019OpenAlexW1972517209WikidataQ56059471 ScholiaQ56059471MaRDI QIDQ1015492

Josep Maria Font

Publication date: 8 May 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9180-7

zbMATH Keywords

abstract algebraic logicmany-valued logicsemanticstruth valueslogics preserving degrees of truthSuszko's Thesistruth degrees

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Many-valued logic (03B50)

Related Items (16)

Неклассический взгляд на природу значений истинности ⋮ On the deductive system of the order of an equationally orderable quasivariety ⋮ A Co-inductive Language and Truth Degrees ⋮ Pure Variable Inclusion Logics ⋮ Paraconsistency properties in degree-preserving fuzzy logics ⋮ Abstract valuation semantics ⋮ The strong version of a sentential logic ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ Logics from \(\sqrt{\prime}\) quasi-MV algebras ⋮ The Infinite-Valued Łukasiewicz Logic and Probability ⋮ Selfextensional logics with a distributive nearlattice term ⋮ A new view of effects in a Hilbert space ⋮ SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY ⋮ Algebraic Valuations as Behavioral Logical Matrices ⋮ Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras ⋮ Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Selfextensional logics with a conjunction
• Residuated lattices. An algebraic glimpse at substructural logics
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• Behavioral algebraization of logics
• Theory of logical calculi. Basic theory of consequence operations
• An algebraic approach to non-classical logics
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• A survey of abstract algebraic logic
• Many-valued logics and Suszko's thesis revisited
• A study of intermediate predicate logics
• Algebraic study of two deductive systems of relevance logic
• Beyond Rasiowa's algebraic approach to non-classical logics
• Logics preserving degrees of truth
• Note on algebraic models for relevance logic
• Mathematical Fuzzy Logics
• Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
• Algebraizable logics
• The Notion of Logical Consequence in the Logic of Inexact Predicates
• Belnap's Four-Valued Logic and De Morgan Lattices
• Leibniz filters and the strong version of a protoalgebraic logic

This page was built for publication: Taking degrees of truth seriously