Remarks on a survey article on many valued logic by A. Urquhart
暂无分享，去创建一个
[1] Hao Wang,et al. A survey of mathematical logic , 1963 .
[2] Janusz Czelakowski. Remarks on finitely based logics , 1984 .
[3] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .
[4] V. N. Grisin. PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS , 1982 .
[5] D. J. Shoesmith,et al. Multiple-Conclusion Logic , 1978 .
[6] A. Tarski. Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I , 1930 .
[7] J. Łoś,et al. Remarks on sentential logics , 1958 .
[8] Robin Giles,et al. A Pragmatic Approach to the Formalization of Empirical Theories , 1976 .
[9] Richard W. Weyhrauch,et al. A Decidable Fragment of Predicate Calculus , 1984, Theor. Comput. Sci..
[10] Andrzej Wroński. On finitely based consequence operations , 1976 .
[11] W. V. Quine,et al. Der Minimalkalkul, ein Reduzierter Intutionistischer Formalismus. , 1937 .
[12] R. Giles. A Logic for Subjective Belief , 1976 .
[13] R. Giles. A non-classical logic for physics , 1974 .