Normal forms in infinite-valued logic: The case of one variable-Reference-Cited by-同舟云学术

Normal forms in infinite-valued logic: The case of one variable

Published: Issue: Volume: Page:272-277
ISSN:
Container-title:Computer Science Logic
language:
Short-container-title:

Author:

Mundici Daniele

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/BFb0023773.pdf

Reference12 articles.

1. A. L. CAUCHY, Démonstration d'un théorème curieux sur les nombres, Bull. Sc. Soc. Philomatique Paris, (3) 3 (1816) 133–135. Reproduced in Exercices Math., 1 (1826)114–116, and in Oeuvres, (2) 6 (1887) 146–148.

2. R. HÄHNLE, Uniform notation tableau rules for multiple-valued logic, Proc. 21th Int. Symp. on Multiple-Valued Logic, Victoria, B.C., Canada, IEEE Press, 1991, pp. 238–245.

3. G. H. HARDY, E. M. WRIGHT, “An Introduction to the Theory of Numbers”, Fifth Edition, Oxford University Press, London, 1979.

4. R. MCNAUGHTON, A theorem about infinite-valued sentential logic, Journal of Symbolic Logic, 16 (1951) 1–13.

5. D. MUNDICI, Satisfiability in many-valued sentential logic is NP-complete, Theoretical Computer Science, 52 (1987) 145–153.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. MV-algebras: a variety for magnitudes with archimedean units;Algebra universalis;2005-04

2. Generic substitutions;Journal of Symbolic Logic;2005-03

3. The Complexity of McNaughton Functions of One Variable;Advances in Applied Mathematics;1998-07

4. A proof of the completeness of the infinite-valued calculus of Łukasiewicz with one variable;Non-Classical Logics and their Applications to Fuzzy Subsets;1995

5. Normal Forms for the One-Variable Fragment of Hájek's Basic Logic;35th International Symposium on Multiple-Valued Logic (ISMVL'05)