A Co-inductive Language and Truth Degrees

DOI10.1007/978-3-642-23211-4_13zbMATH Open1347.03057OpenAlexW15736740MaRDI QIDQ3172837FDOQ3172837

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)

Cites Work

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

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)