Back to Search
Start Over
On Fuzzy Theories with Crisp Sentences.
- Source :
- Algebraic & Proof-theoretic Aspects of Non-classical Logics; 2007, p194-200, 7p
- Publication Year :
- 2007
-
Abstract
- If T is a consistent theory over a fuzzy predicate logic with Gödel negation (e.g. Gödel logic, product logic) then T remains consistent after adding the schema tertium non datur (ϕ ∨ ¬ϕ) for sentences (closed formulas). We prove and discuss this. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9783540759386
- Database :
- Complementary Index
- Journal :
- Algebraic & Proof-theoretic Aspects of Non-classical Logics
- Publication Type :
- Book
- Accession number :
- 33111437
- Full Text :
- https://doi.org/10.1007/978-3-540-75939-3_12