An Interpretation of Many‐Valued Logic
暂无分享,去创建一个
[1] Robert K. Meyer. Pure Denumerable Lukasiewiczian Implication , 1966, J. Symb. Log..
[2] Alasdair Urquhart,et al. Semantics for relevant logics , 1972, Journal of Symbolic Logic.
[3] Alan Rose,et al. Many-valued logical machines , 1958, Mathematical Proceedings of the Cambridge Philosophical Society.
[4] Eight‐Valued Geometry , 1952 .
[5] Emil L. Post. Introduction to a General Theory of Elementary Propositions , 1921 .