The Complexity of McNaughton Functions of One Variable

Advances in Applied Mathematics

Volumn 21, Issue 1, 1998, Pages 58-77

  Aguzzoli, Stefano ^a  

^a UNIVERSITY OF SIENA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0003723865     PISSN: 01968858     EISSN: None     Source Type: Journal    
DOI: 10.1006/aama.1998.0581     Document Type: Article

References (10)

1. Aguzzoli S., Mundici D. An algorithmic desingularization of three-dimensional toric varieties. Tohoku Math. J. 46:1994;557-572.
2. J. Lukasiewicz, A. Tarski, Untersuchungen über den Aussagenkalkül, Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, 23, 1930, 30, 50, Clarendon, Oxford, 1956.
3. McNaughton R. A theorem about infinite-valued sentential logic. J. Symbolic Logic. 16:1951;1-13.
4. Mundici D. Satisfiability in many-valued sentential logic is NP-complete. Theoret. Comput. Sci. 52:1987;145-153.
5. Mundici D. Normal forms in infinite-valued logic: the case of one variable. Lecture Notes in Comput. Sci. 626:1992;272-277.
6. Mundici D. A constructive proof of McNaughton's theorem in infinite-valued logics. J. Symbolic Logic. 59:1994;596-602.
7. Mundici D. Lukasiewicz normal forms and toric desingularizations. Proceedings of Logic Colloquium 1993. 1996;Oxford Univ. Press, Oxford. p. 401-423.
8. D. Mundici, N. Olivetti, Resolution and model building in the infinite-valued calculus of Lukasiewicz, Theoret. Comput. Sci.
9. Panti G. A geometric proof of the completeness of the Lukasiewicz calculus. J. Symbolic Logic. 60:1995;563-578.
10. Rose A., Rosser J. B. Fragments of many-valued statement calculi. Trans. Amer. Math. Soc. 87:1958;1-53.