Geodesic
Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz
Bollettino della Unione matematica italiana, Série 8, 3A (2000) no. 1S, pp. 9-12.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

@article{BUMI_2000_8_3A_1S_a1,
     author = {Aguzzoli, Stefano},
     title = {Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di {{\L}ukasiewicz}},
     journal = {Bollettino della Unione matematica italiana},
     pages = {9--12},
     publisher = {mathdoc},
     volume = {Ser. 8, 3A},
     number = {1S},
     year = {2000},
     zbl = {1053.03503},
     mrnumber = {1623329},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_1S_a1/}
}
TY  - JOUR
AU  - Aguzzoli, Stefano
TI  - Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz
JO  - Bollettino della Unione matematica italiana
PY  - 2000
SP  - 9
EP  - 12
VL  - 3A
IS  - 1S
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_1S_a1/
LA  - it
ID  - BUMI_2000_8_3A_1S_a1
ER  - 
%0 Journal Article
%A Aguzzoli, Stefano
%T Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz
%J Bollettino della Unione matematica italiana
%D 2000
%P 9-12
%V 3A
%N 1S
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_1S_a1/
%G it
%F BUMI_2000_8_3A_1S_a1
Aguzzoli, Stefano. Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz. Bollettino della Unione matematica italiana, Série 8, 3A (2000) no. 1S, pp. 9-12. http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_1S_a1/

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

[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

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

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

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

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

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

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