Author:
Fermüller Christian G.,Metcalfe George
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference34 articles.
1. Adamson A., Giles R.: ‘A game-based formal system for Ł∞’. Studia Logica 1(38), 49–73 (1979)
2. Aguzzoli S., Ciabattoni A.: ‘Finiteness in infinite-valued logic’. Journal of Logic, Language and Information 9(1), 5–29 (2000)
3. Avron A.: ‘A constructive analysis of RM’. Journal of Symbolic Logic 52(4), 939–951 (1987)
4. Baaz, M., and G. Metcalfe, ‘Herbrand’s theorem, skolemization, and proof systems for first-order Łukasiewicz logic’. To appear in Journal of Logic and Computation.
5. Chang C.C.: ‘Algebraic analysis of many-valued logics’. Transactions of the American Mathematical Society 88, 467–490 (1958)
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献