A Co-inductive Language and Truth Degrees

DOI10.1007/978-3-642-23211-4_13zbMath1347.03057OpenAlexW15736740MaRDI QIDQ3172837

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

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

Related Items (1)

Truth without standard models: some conceptual problems reloaded

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Taking degrees of truth seriously
• Co-induction in relational semantics
• Truth, belief, and vagueness
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• Ten questions and one problem on fuzzy logic
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Hypersequents, logical consequence and intermediate logics for concurrency
• A really fuzzy approach to the sorites paradox
• Universal coalgebra: A theory of systems
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Circular languages
• Proof theory for fuzzy logics
• The liar paradox and fuzzy logic
• Logical paradoxes for many-valued systems

This page was built for publication: A Co-inductive Language and Truth Degrees