The liar paradox and fuzzy logic
From MaRDI portal
Publication:4953224
DOI10.2307/2586541zbMath0945.03031MaRDI QIDQ4953224
Petr Hájek, Jeffrey Bruce Paris, John C. Shepherdson
Publication date: 22 June 2000
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586541
extension of Peano arithmetic; Łukasiewicz infinitely valued logic; many-valued predicate; unary truth predicate
03B52: Fuzzy logic; logic of vagueness
03F30: First-order arithmetic and fragments
03B50: Many-valued logic
Related Items
The sorites paradox and fuzzy logic, Łukasiewicz and His Followers in Many-Valued Logic, Sorites, Curry and Suitable Models, Truth without standard models: some conceptual problems reloaded, A UNIFIED THEORY OF TRUTH AND PARADOX, Paths to triviality, Curry's paradox and \(\omega \)-inconsistency, Saving the truth schema from paradox, Naive structure, contraction and paradox, A revenge-immune solution to the semantic paradoxes, \(\mathrm{IKT}^\omega\) and Łukasiewicz-models, Triangular norm based predicate fuzzy logics, Non-deterministic conditionals and transparent truth, On arithmetic in the Cantor-Łukasiewicz fuzzy set theory, NAIVE TRUTH AND RESTRICTED QUANTIFICATION: SAVING TRUTH A WHOLE LOT BETTER, A Co-inductive Language and Truth Degrees, Paraconsistent or Paracomplete?, ON THE PROBABILISTIC CONVENTION T
Cites Work