Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz
Aguzzoli, Stefano
Bollettino dell'Unione Matematica Italiana, Tome 3-A (2000), p. 9-12 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

Publié le : 2000-04-01
@article{BUMI_2000_8_3A_1S_9_0,
     author = {Stefano Aguzzoli},
     title = {Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di \L ukasiewicz},
     journal = {Bollettino dell'Unione Matematica Italiana},
     volume = {3-A},
     year = {2000},
     pages = {9-12},
     zbl = {1053.03503},
     language = {it},
     url = {http://dml.mathdoc.fr/item/BUMI_2000_8_3A_1S_9_0}
}

Aguzzoli, Stefano. Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz. Bollettino dell'Unione Matematica Italiana, Tome 3-A (2000) pp. 9-12. http://gdmltest.u-ga.fr/item/BUMI_2000_8_3A_1S_9_0/

[1] Aguzzoli, S., The Complexity of McNaughton Functions of One Variable, Advances in Applied Mathematics, 21(1998), 58-77. | MR 1623329 | Zbl 0911.03004

[2] Aguzzoli, S., A note on the representation of McNaughton lines by basic literals, Soft Computing, 2(1998), 111-115.

[3] Aguzzoli, S., Ciabattoni, A. e Dinola, A., Sequent Calculi for Finite-Valued Łukasiewicz Logics via Boolean Decomposition, Journal of Logic and Computation, to appear. | Zbl 0955.03031

[4] Aguzzoli, S., Ciabattoni, A., Finiteness in Infinite-Valued Łukasiewicz Logic, Journal of Logic, Language and Information, to appear. | Zbl 0951.03024

[5] Aguzzoli, S., Mundici, D., An Algorithmic Desingularization of Three-Dimensional Toric Varieties, Tôhoku Mathematical Journal, 46(1994), 557-572. | MR 1301289 | Zbl 0817.14036

[6] Háje, P., Metamathematics of Fuzzy Logic, Kluwer, Dordrecht (1999). | Zbl 0937.03030

[7] Mcnaughton, R., A Theorem about Infinite-valued Sentential Logic, Journal of Symbolic Logic, 16(1951), 1-13. | MR 41799 | Zbl 0043.00901

[8] Mundici, D., Satisfiability in many-valued sentential logic is NP-Complete, Theoretical Computer Science, 52(1987), 145-153. | MR 918116 | Zbl 0639.03042

[9] Mundici, D., Olivetti, N., Resolution and model building in the infinite-valued calculus of Łukasiewicz, Theoretical Computer Science, 200(1998), 335-366. | MR 1625499 | Zbl 0921.03013