REFERENCES
Dummett, M., A propositional calculus with a denumerable matrix, Journal of Symbolic Logic 24 (1959), 97–106.
Méndez, J. M., Routley–Meyer type semantics for Urquhart's C, Journal of Nonclassical Logic 6 (1989), 42–46.
Meyer, R. K. and McRobbie, M. A., Multisets and relevant implication, Australasian Journal of Philosophy 60 (1982), 107–139.
Ono, H. and Komori, Y., Logics without the contraction rule, Journal of Symbolic Logic 50 (1985), 169–201.
Routley, R. and Meyer, R. K., The semantics of entailment V, Chapter IV of [6].
Routley, R., Relevant Logics and Their Rivals, Ridgeview, California, vol. 1, 1982.
Urquhart, A., Many-valued logic, in: D. Gabbay and F. Guenthner (eds), Handbook of Philosophical Logic, vol. 3, D. Reidel, Dordrecht-Boston, 1986, 71–116.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mendez, J.M., Salto, F. A Natural Negation Completion of Urquhart's Many-Valued Logic C. Journal of Philosophical Logic 27, 75–84 (1998). https://doi.org/10.1023/A:1017978332179
Issue Date:
DOI: https://doi.org/10.1023/A:1017978332179