We construct a class of Łukasiewicz formulae whose associated McNaughton functions constitute a family of Schauder hats having special properties. Our technique is inspired by the well-known algorithm of Brun [3,4,2] for simultaneous diopanthine approximations. As a first application of Brun hats we construct normal forms for co-atomic Łukasiewicz logics. We also show how to combine Brun hats to obtain normal forms for all finite-valued Łukasiewicz logics. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Aguzzoli, S., D’Antona, O. M., & Marra, V. (2005). Brun normal forms for co-atomic Łukasiewicz logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3571 LNAI, pp. 650–661). Springer Verlag. https://doi.org/10.1007/11518655_55
Mendeley helps you to discover research relevant for your work.