Hostname: page-component-76fb5796d-dfsvx Total loading time: 0 Render date: 2024-04-25T08:43:04.155Z Has data issue: false hasContentIssue false
  • English
  • Français

Continuous valuation and logic

Published online by Cambridge University Press:  22 January 2016

Mariko Yasugi
Mariko Yasugi*
Affiliation:
University of Tsukuba
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We consider the continuous valuation of logic, where the certainty of a statement is measured with a number in the closed unit interval I =[0, 1].

The idea originates in continuous logics, which have been investigated from various standpoints, in [1] ~ [4] and [8] ~ [10], for example. More comprehensive information can be seen in [4] and others.

Type
Research Article
Information
Nagoya Mathematical Journal , Volume 85 , March 1982 , pp. 175 - 188
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1982

References

[ 1 ] Chang, C.C., Algebraic analysis of many valued logics, Trans. Amer. Math. Soc, 88 (1958), 467–490.CrossRefGoogle Scholar
[ 2 ] Chang, C.C., The axiom of comprehension in infinite valued logic, Math. Scand., 13 (1963), 9–30.Google Scholar
[ 3 ] Chang, C.C., Infinite valued logic as a basis for set theory, Logic, Methodology and Philosophy of Science ed. by Bar-Hillel, Y. (1965), 93–100.Google Scholar
[ 4 ] Chang, C.C. and Keisler, H.J., Continuous Model Theory, Princeton University Press, Princeton, 1965.Google Scholar
[ 5 ] Goguen, J.A., L-fuzzy sets, J. Math. Anal. Appl., 18 (1967), 145–174.Google Scholar
[ 6 ] Grattan-Guiness, I., Fuzzy membership and many-valued quantities, Z. math. Log. Grundl. Math., 22 (1976), 149–160.Google Scholar
[ 7 ] Lee, T.R.C. and Chang, C.L., Some properties of fuzzy logic, Information and Control, 19 (1971), 417–431.Google Scholar
[ 8 ] Takahashi, M., Many-valued logics of extended Gentzen style I, Sci. Rep. Tokyo Kyoiku Daigaku, 9 (1967), 271–292.Google Scholar
[ 9 ] Takahashi, M., Many-valued logics of Gentzen style II-First order continuous logic, JSL, 35 (1970), 493–528.Google Scholar
[10] Takahashi, M., Continuous λ-ε logics, Ann. Jap. Assoc. Phil. Sci., 3 (1970), 205–215.Google Scholar
[11] Takeuti, G., Proof Theory, North-Holland Publ. Co., Amsterdam, 1975.Google Scholar
[12] Zadeh, L.A., Fuzzy sets, Information and Control, 8 (1965), 338–353.Google Scholar
[13] Zadeh, L.A., Quantitative fuzzy semantics, Information Science, 3 (1971), 159–176.Google Scholar