A co-inductive language and truth degrees

DOI10.1007/978-3-642-23211-4_13MaRDI QIDQ3172837zbMATH OpenOpenAlexFDO

Authors Shunsuke Yatabe

Publication date 7 October 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-23211-4_13

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Logic of natural languages (03B65)

Recommendations

• The liar paradox and fuzzy logic
• scientific article; zbMATH DE number 823602
• Editorial introduction
• The concept of truth
• scientific article; zbMATH DE number 1960701

Cites work

• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 44058 (Why is no real title available?)
• scientific article; zbMATH DE number 2149370 (Why is no real title available?)
• scientific article; zbMATH DE number 952378 (Why is no real title available?)
• scientific article; zbMATH DE number 795569 (Why is no real title available?)
• scientific article; zbMATH DE number 823607 (Why is no real title available?)
• scientific article; zbMATH DE number 1442964 (Why is no real title available?)
• A really fuzzy approach to the sorites paradox
• Circular languages
• Co-induction in relational semantics
• Hypersequents, logical consequence and intermediate logics for concurrency
• Logical paradoxes for many-valued systems
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Proof theory for fuzzy logics
• Saving truth from paradox
• Taking degrees of truth seriously
• Ten questions and one problem on fuzzy logic
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• The liar paradox and fuzzy logic
• Truth, belief, and vagueness
• Universal coalgebra: A theory of systems

Cited in

(2)

• Theories of truth for countable languages which conform to classical logic
• Truth without standard models: some conceptual problems reloaded

This page was built for publication: A co-inductive language and truth degrees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172837)