bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI
Indice degli Autori
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 3-A (2000), n. 1S -> pp. 9-12

Referenza completa

Aguzzoli, Stefano:
Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz
Bollettino dell'Unione Matematica Italiana Serie 8 3-A (2000) —La Matematica nella Società e nella Cultura, fasc. n.1S, p. 9-12, Unione Matematica Italiana (Italian)
pdf (230 Kb), djvu (71 Kb). | Zbl 1053.03503

Referenze Bibliografiche
[1] AGUZZOLI S., The Complexity of McNaughton Functions of One Variable, Advances in Applied Mathematics, 21(1998), 58-77. | fulltext (doi) | 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. | fulltext mini-dml | fulltext (doi) | 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. | fulltext mini-dml | MR 41799 | Zbl 0043.00901
[8] MUNDICI D., Satisfiability in many-valued sentential logic is NP-Complete, Theoretical Computer Science, 52(1987), 145-153. | fulltext (doi) | 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. | fulltext (doi) | MR 1625499 | Zbl 0921.03013
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 3-A (2000), n. 1S -> pp. 9-12

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali