A predicate extension of real valued logic

DOI10.1007/s00153-017-0558-3zbMath1381.03023OpenAlexW2619261889MaRDI QIDQ2402962

Stefano Baratella

Publication date: 15 September 2017

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11572/194162

zbMATH Keywords

many-valued logiccontinuous logicreal-valued logicabelian logicunbounded truth values

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• The eal truth
• A proof of completeness for continuous first-order logic
• Uncountable dense categoricity in cats
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A predicate extension of real valued logic