Studia Logica 92 (2):163 - 182 (2009)
|Abstract||According to Suszko's Thesis,any multi-valued semantics for a logical system can be replaced by an equivalent bivalent one. Moreover: bivalent semantics for families of logics can frequently be developed in a modular way. On the other hand bivalent semantics usually lacks the crucial property of analycity, a property which is guaranteed for the semantics of multi-valued matrices. We show that one can get both modularity and analycity by using the semantic framework of multi-valued non-deterministic matrices. We further show that for using this framework in a constructive way it is best to view "truth-values" as information carriers, or "information-values"|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
A. S. Karpenko (1983). Factor Semantics Forn-Valued Logics. Studia Logica 42 (2-3):179 - 185.
Added to index2009-01-28
Total downloads16 ( #75,663 of 556,807 )
Recent downloads (6 months)1 ( #64,847 of 556,807 )
How can I increase my downloads?