Abstract
In this paper, a semantics for predicate logics without the contraction rule will be investigated and the completeness theorem will be proved. Moreover, it will be found out that our semantics has a close connection with Beth-type semantics.
Similar content being viewed by others
References
D. van Dalen, Intuitionistic logic, (to appear in Handbook of Philosophical Logic vol. 3, eds. D. M. Gabbay and F. Guenthner, Synthese Library 166, D. Reidel Publ. Co.).
H. Ono and Y. Komori, Logics without the contraction rule, Journal of Symbolic Logic, vol. 50 (1985), pp. 169–201.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ono, H. Semantical analysis of predicate logics without the contraction rule. Stud Logica 44, 187–196 (1985). https://doi.org/10.1007/BF00379766
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00379766