Abstract
This presents logics which use thresholds for certainty. These logics are related to the modal logic S3. The logic U is a weak logic of this kind. The logic UC is a strong logic of this kind. The logic UC has linear matrix, and hence is of interest in many applications, including fuzzy systems.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Epstein, G., "The underlying ground for hypothetical propositions," Logic in the Twentieth Century, Scientia (1983), 101–124.
Epstein, G. and Horn, A., "Logics which are characterized by subresiduated lattices," Zeitschr. f. math. Logik und Grundlagen d. Math., 22, (1976), 199–210.
Hacking, I., "What is strict implication?", J. Symb. Logic, 24 (1959), 97–106.
Lemmon, E.J., Meredith, C.A., Meredith, D., Prior, A.N. and Thomas, I., "Calculi of pure strict implication," (cyclostyled), Christchurch, Canterbury University College (1957).
Lewis, C.I. and Langford, C.H., Symbolic logic, N.Y., Dover Publications, 1932. Second edition, 1959.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Epstein, G. (1988). Thresholds for certainty and the modal logic S3. In: Bouchon, B., Saitta, L., Yager, R.R. (eds) Uncertainty and Intelligent Systems. IPMU 1988. Lecture Notes in Computer Science, vol 313. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19402-9_82
Download citation
DOI: https://doi.org/10.1007/3-540-19402-9_82
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19402-6
Online ISBN: 978-3-540-39255-2
eBook Packages: Springer Book Archive