scientific article; zbMATH DE number 823602

MaRDI QIDQ4856958zbMATH OpenFDO

Authors Greg Restall

Publication date 5 December 1995

zbMATH Keywords

Peano arithmetictruth predicate\(\omega\)-inconsistent\(T\)-schemeŁukasiewicz's infinitely valued logic

Mathematics Subject Classification ID

Many-valued logic (03B50) First-order arithmetic and fragments (03F30)

Recommendations

• Infinite valued Łukasiewicz logic
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Finiteness in infinite-valued Łukasiewicz logic
• Łukasiewicz and His Followers in Many-Valued Logic
• Infinite-valued Łukasiewicz logic and Farey sequences
• Complete and atomic algebras of the infinite valued Łukasiewicz logic
• scientific article; zbMATH DE number 2047465
• Finite axiomatizability in Łukasiewicz logic

Cited in

(13)

• Paraconsistent or paracomplete?
• Sorites, curry and suitable models
• Non-deterministic conditionals and transparent truth
• A revenge-immune solution to the semantic paradoxes
• Paths to triviality
• A co-inductive language and truth degrees
• Curry's paradox and \(\omega \)-inconsistency
• Łukasiewicz and His Followers in Many-Valued Logic
• \(\mathrm{IKT}^\omega\) and Łukasiewicz-models
• Saving the truth schema from paradox
• Adding a conditional to Kripke's theory of truth
• A UNIFIED THEORY OF TRUTH AND PARADOX
• Truth without standard models: some conceptual problems reloaded

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 Q4856958)