The Notion of Logical Consequence in the Logic of Inexact Predicates

DOI10.1002/MALQ.19740201903zbMath0299.02015OpenAlexW2082817076MaRDI QIDQ4053609

J. P. Cleave

Publication date: 1974

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19740201903

Mathematics Subject Classification ID

Many-valued logic (03B50) General logic (03B99)

Related Items (20)

The strong completeness of a system based on Kleene's strong three-valued logic ⋮ Unnamed Item ⋮ On the infinite-valued Łukasiewicz logic that preserves degrees of truth ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ On finite-valued propositional logical calculi ⋮ A sequential formulation of a logic based on fuzzy modalities ⋮ On consequence in approximate reasoning ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ Fuzzy propositional logics ⋮ On a KTB-modal fuzzy logic ⋮ European Summer Meeting of the Association for Symbolic Logic, Hull, 1986 ⋮ On partial and paraconsistent logics ⋮ Algebras of intervals and a logic of conditional assertions ⋮ European meeting of the Association for Symbolic Logic, Mons, Belgium, 1978 ⋮ Taking degrees of truth seriously ⋮ Axiomatizing Kripke's theory of truth ⋮ European Summer Meeting of the Association for Symbolic Logic, Paris, 1985 ⋮ Unnamed Item ⋮ An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation ⋮ Constructible falsity and inexact predicates

This page was built for publication: The Notion of Logical Consequence in the Logic of Inexact Predicates