Referenze Bibliografiche
[1]
F. MONTAGNA.
Sulle classi quasi ideali.
Bollettino della Unione Matematica Italiana, (4)
10:85-97,
1974. |
Zbl 0319.08007[2]
F. MONTAGNA.
Sui limiti di certe teorie.
Le Matematiche,
29(1):221-236,
1974. |
Zbl 0308.02049[3]
F. MONTAGNA.
For every n, the n freely generated algebra is not functionally free in the equational class of diagonalizable algebras.
Studia Logica,
34(4):315-319,
1975. |
Zbl 0322.02032[4]
F. MONTAGNA.
On the algebraization of a Feferman's predicate.
Studia Logica,
37(3):221-236,
1978. |
Zbl 0398.03054[5]
F. MONTAGNA.
On the diagonalizable algebra of Peano Arithmetic.
Bollettino della Unione Matematica Italiana, (5)
16-B:795-812,
1979. |
Zbl 0419.08010[6]
F. MONTAGNA.
On the formulas of Peano Arithmetic which are provably closed under modus ponens.
Bollettino della Unione Matematica Italiana, (5)
16-B:196-211,
1979. |
Zbl 0405.03030[7]
F. MONTAGNA.
Interpretations of the first-order theory of diagonalizable algebras in Peano Arithmetic.
Studia Logica,
39(4):347-354,
1980. |
Zbl 0463.03015[8]
F. MONTAGNA.
The undecidability of the first-order theory of diagonalizable algebras.
Studia Logica,
39(4):355-359,
1980. |
Zbl 0463.03016[9]
F. MONTAGNA e
L. PASINI.
The equational class corresponding to the modal logic K43W.
Suppl. Bollettino della Unione Matematica Italiana,
2:373-385,
1980. |
Zbl 0448.03016[10]
F. MONTAGNA.
Some modal logics with quantifiers.
Bollettino della Unione Matematica Italiana, (5)
17B:1395-1410,
1980. |
Zbl 0452.03012[11]
F. MONTAGNA.
Relative precomplete numerations and arithmetic.
Journal of Philosophical Logic,
11(4):419-430,
1982. |
Zbl 0498.03046[12]
F. MONTAGNA.
ZFC models as Kripke models.
Zeitschrift für mathematische Logik und Grundlagen der Mathematik,
29(2):163-168,
1983. |
Zbl 0519.03013[13]
F. MONTAGNA.
The well-founded algebras.
Algebra Universalis,
16(2):38-46,
1983. |
Zbl 0467.06009[14]
F. MONTAGNA.
A completeness result for fixed point algebras.
Zeitschrift für mathematische Logik und Grundlagen der Mathematik,
30(1):525-532,
1984. |
Zbl 0564.03044[15]
C. BERNARDI e
F. MONTAGNA.
Equivalence relations induced by extensional formulae: Classification by means of a new fixed point property.
Fundamenta Mathematicae,
124(3):221-232,
1984. |
fulltext EuDML |
Zbl 0564.03043[16]
F. MONTAGNA.
The predicate modal logic of provability.
Notre Dame Journal of Formal Logic,
25(2):179-189,
1984. |
Zbl 0549.03013[17] F. MONTAGNA. Primi risultati sulla logica predicativa modale della dimostrabilità. In Proceedings of the conference on mathematical logic. Vol. 2 (Siena 1983/1984), pp. 353-355, Siena, 1985. University of Siena. (Italiano).
[18]
F. MONTAGNA e
A. SORBI.
Universal recursion theoretic properties of r.e. preordered structures.
The Journal of Symbolic Logic,
50(2):179-189,
1985. |
Zbl 0578.03026[19]
F. MONTAGNA.
Provability in finite subtheories of PA.
The Journal of Symbolic Logic,
52(2):494-511,
1987. |
Zbl 0623.03023[20]
D. DE JONGH e
F. MONTAGNA.
Generic generalized fixed points.
Studia Logica,
46(2):193-203,
1987. |
Zbl 0638.03019[21]
F. MONTAGNA.
Iterated extensional Rosser's fixed points and hyperhyperdiagonalizable algebras.
Zeitschrift für mathematische Logik und Grundlagen der Mathematik,
33(4):293-303,
1987. |
Zbl 0662.03059[22]
F. MONTAGNA e
G. SOMMARUGA.
Rosser and Mostowski sentences.
Archive for Mathematical Logic,
27(2):115-133,
1988. |
Zbl 0688.03041[23]
D. DE JONGH e
F. MONTAGNA.
Provable fixed points.
Zeitschrift für mathematische Logik und Grundlagen der Mathematik,
34(3):229-250,
1988. |
Zbl 0661.03009[24] F. MONTAGNA. Arithmetical self reference and generalized Rosser formulas. Teoria, 2:145-170, 1988.
[25]
F. MONTAGNA e
A. SORBI.
Creativeness and completeness in recursion categories of partial recursive operators.
The Journal of Symbolic Logic,
54(3):1023-1041,
1989. |
Zbl 0714.03041[26]
D. DE JONGH e
F. MONTAGNA.
Much shorter proofs.
Zeitschrift für mathematische Logik und Grundlagen der Mathematik,
35(3):247-260,
1989. |
Zbl 0688.03040[27]
A. CARBONE e
F. MONTAGNA.
Rosser orderings in bimodal logics.
Zeitschrift für mathematische Logik und Grundlagen der Mathematik,
35(4):343-358,
1989. |
Zbl 0688.03010[28]
F. MONTAGNA.
Pathologies in two syntactic categories of partial maps.
Notre Dame Journal of Formal Logic,
30(1):105-116,
1989. |
Zbl 0665.03038[29]
A. CARBONE e
F. MONTAGNA.
Much shorter proofs: a bimodal investigation.
Zeitschrift für mathematische Logik und Grundlagen der Mathematik,
36(1):47-66,
1990. |
Zbl 0697.03033[30]
F. MONTAGNA e
G. SOMMARUGA.
A note on some extension results.
Studia Logica,
49(4):591-600,
1990. |
Zbl 0736.03005[31]
F. MONTAGNA.
The elementary theory of Lindenbaum fixed point algebras is not arithmetical.
PU.M.A Ser A,
1(2):207-216,
1990. |
Zbl 0746.03047[32] P. HÁJEK e F. MONTAGNA. The logic of $\Pi_1$-conservativity. Archive for Mathematical Logic, 30(2):113-123, 1990.
[33]
R.A. DI PAOLA e
F. MONTAGNA.
Some properties of syntactic p-recursion categories generated by consistent recursively enumerable extensions of Peano Arithmetic.
The Journal of Symbolic Logic,
56(2):643-660,
1991. |
Zbl 0745.03037[34]
D. DE JONGH e
F. MONTAGNA.
Rosser orderings and free variables.
Studia Logica,
50(1):71-80,
1991. |
Zbl 0744.03058[35]
D. DE JONGH,
M. JUMELET, e
F. MONTAGNA.
On the proof of Solovay's theorem.
Studia Logica,
50(1):51-70,
1991. |
Zbl 0744.03057[36] P. HÁJEK e F. MONTAGNA. The logic of $\Pi_1$-conservativity continued. Archive for Mathematical Logic, 32(1):57-63, 1992.
[37]
F. MONTAGNA.
Polynomially and superexponentially shorter proofs in fragments of arithmetic.
The Journal of Symbolic Logic,
57(3):844-863,
1992. |
Zbl 0765.03029[38]
P. HÁJEK,
F. MONTAGNA, e
P. PUDLAK.
Abbreviating proofs using metamathematical rules. In
P. Clote e
J. Krajicek, editori,
Arithmetic, Proof Theory and Computational Complexity, volume
23 di
Oxford Logic Guides, pp. 197-221.
Clarendon University Press, Oxford,
1993. |
Zbl 0794.03080[39]
S. FONTANI,
F. MONTAGNA, e
A. SORBI.
A note on relative efficiency of axiom systems.
Mathematical Logic Quarterly,
40(2):261-272,
1993. |
Zbl 0812.03026[40] F. MONTAGNA. Paradossi e teoremi di incompletezza: il teorema di Solovay. In Epistemology of mathematics. 1992-1993 Seminars (Siena/Bologna/Pavia), Formazione e Aggiornamento in Matematica degli Insegnanti, pp. 85-95, Rome, 1994. CNR. (Italiano).
[41]
S. ARTEÈMOV e
F. MONTAGNA.
On first order theories with provability operators.
The Journal of Symbolic Logic,
59(4):1139-1153,
1994. |
Zbl 0860.03016[42]
F. MONTAGNA e
A. MANCINI.
A minimal predicative set theory.
Notre Dame Journal of Formal Logic,
35(2):186-203,
1994. |
Zbl 0816.03023[43]
F. MONTAGNA.
An algebraic treatment of quantifier free systems of arithmetic.
Archive for Mathematical Logic,
35(4):209-224,
1996. |
Zbl 0847.03028[44]
F. MONTAGNA,
G. SIMI, e
A. SORBI.
Logic and probabilistic systems.
Archive for Mathematical Logic,
35(4):225-261,
1996. |
Zbl 0854.03020[45]
R.A. DI PAOLA e
F. MONTAGNA.
Progressions of theories of bounded arithmetic. In
A. Sorbi, editore,
Complexity, Logic and Recursion Theory, pp. 123-156.
Decker, New York,
1996. |
Zbl 0881.03029[46]
F. MONTAGNA.
Investigations on measure-one identification of classes of languages.
Information and Computation,
143(1):74-107,
1998. |
Zbl 0919.68080[47] F. MONTAGNA, G.M. PINNA, e E.B.P. TIEZZI. Proof systems with cut elimination for MTLQ. In Theoretical computer science (Prato, 1998), pp. 141-152, River Edge, NJ, 1998. World Scientific Publishing.
[48]
F. MONTAGNA e
G. SIMI.
Paradigms in measure theoretic learning and in informant learning.
Studia Logica,
62(2):243-268,
1999. |
Zbl 0924.68172[49]
F. MONTAGNA e
D. OSHERSON.
Learning to coordinate: a recursion-theoretic perspective.
Synthese,
118(3):74-107,
1999. |
Zbl 0943.03034[50]
D. LUCHI e
F. MONTAGNA.
An operational logic of proofs with positive and negative information.
Studia Logica,
63(1):7-25,
1999. |
Zbl 0947.03077[51]
F. MONTAGNA.
An algebraic approach to propositional fuzzy logic.
Journal of Logic, Language, and Information,
9(1):91-124,
2000. 177 |
Zbl 0942.06006[52]
F. MONTAGNA,
G.M. PINNA, e
E.B.P. TIEZZI.
A cut-free proof system for bounded metric temporal logic over a dense time domain.
Mathematical Logic Quarterly,
46(2):171-182,
2000. |
Zbl 0951.03017[53] F. MONTAGNA. The free BL-algebra on one generator. Neural Network World, 5:837-844, 2000.
[54] F. MONTAGNA. Free BLD algebras. In A. Di Nola e G. Gerla, editori, Lectures on Soft Computing and Fuzzy Logic, Advances in Intelligent and Soft Computing, pp. 159-171. Physica-Verlag, Heidelberg, New York, 2001.
[55]
F. ESTEVA,
L. GODO, e
F. MONTAGNA.
The $L\Pi$ and $L\Pi\frac{1}{2}$ Łukasiewicz logics: two complete fuzzy systems joining Łukasiewicz and Product Logics.
Archive for Mathematical Logic,
40(1):39-67,
2001. |
Zbl 0966.03022[56]
F. MONTAGNA e
V. SEBASTIANI.
Equational fragments of systems for arithmetic.
Algebra Universalis,
46(3):417-441,
2001. |
Zbl 1061.03036[57]
F. MONTAGNA.
Three complexity problems in quantified fuzzy logic.
Studia Logica,
68(1):143-152,
2001. |
Zbl 0985.03014[58]
F. MONTAGNA.
Functorial representation theorems for $MV_{\Delta}$ algebras with additional operators.
Journal of Algebra,
238(1):99-125,
2001. |
Zbl 0987.06012[59]
F. MONTAGNA e
G. PANTI.
Adding structure to MV-algebras.
Journal of Pure and Applied Algebra,
164(3):365-387,
2001. |
Zbl 0992.06012[60] M. BAAZ, P. HÁJEK, F. MONTAGNA, e H. VEITH. Complexity of t-tautologies. Annals of Pure and Applied Logic, 113(1-3):3-11, 2001.
[61]
F. MONTAGNA,
G.M. PINNA, e
E.B.P. TIEZZI.
Investigations on fragments of first order branching time logic.
Mathematical Logic Quarterly,
48(1):51-62,
2002. |
Zbl 1002.03016[62]
S. JENEI e
F. MONTAGNA.
A proof of standard completeness for Esteva and Godo's logic MTL.
Studia Logica,
70(2):183-192,
2002. |
Zbl 0997.03027[63]
F. ESTEVA,
J. GISPERT,
L. GODO, e
F. MONTAGNA.
On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic.
Studia Logica,
71(2):199-226,
2002. |
Zbl 1011.03015[64]
F. MONTAGNA e
H. ONO.
Undecidability and standard completeness for Esteva and Godo's logic $MTL\forall$.
Studia Logica,
71(2):227-245,
2002. |
Zbl 1013.03021[65]
R. CIGNOLI,
F. ESTEVA,
L. GODO, e
F. MONTAGNA.
On a class of left continuous t-norms.
Fuzzy Sets and Systems,
131(3):283-296,
2002. |
Zbl 1012.03032[66]
S. JENEI e
F. MONTAGNA.
A general method for constructing left-continuous t-norms.
Fuzzy Sets and Systems,
136(3):263-282,
2003. |
Zbl 1020.03020[67]
F. MONTAGNA,
G.M. PINNA, e
E.B.P. TIEZZI.
A tableau calculus for Hájēk's logic BL.
Journal of Logic and Computation,
13(2):241-259,
2003. |
Zbl 1055.03017[68]
P. AGLIANÒ e
F. MONTAGNA.
Varieties of BL-algebras I: General properties.
Journal of Pure and Applied Algebra,
181(2-3):105-129,
2003. |
Zbl 1034.06009[69]
S. JENEI e
F. MONTAGNA.
On the continuity points of leftcontinuous t-norms.
Archive for Mathematical Logic,
42(8):797-810,
2003. |
Zbl 1047.03016[70]
F. ESTEVA,
L. GODO,
P. HÁJEK, e
F. MONTAGNA.
Hoops and fuzzy logic.
Journal of Logic and Computation,
13(4):531-545,
2003. |
Zbl 1039.03016[71]
F. MONTAGNA e
L. SACCHETTI.
Kripke-style semantics for many-valued logics.
Mathematical Logic Quarterly,
49(6):629-641,
2003. (Erratum:
Mathematical Logic Quarterly,
50(1) (
2003), p. 104-107). |
fulltext (doi) |
MR 2013723 |
Zbl 1035.03010[72]
L. MAGNONI,
M. MIROLLI, e
F. MONTAGNA.
PAC learning of probability distributions over a discrete domain.
Theoretical Computer Science,
299(1-3):161-200,
2003. |
fulltext (doi) |
MR 1973145 |
Zbl 1038.68057[73]
J. CASE,
S. JAIN,
F. MONTAGNA,
G. SIMI, e
A. SORBI.
On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. In
M.K. Warmuth e
B Schölkopf, editori,
Learning Theory and Kernel Machines, 16th Annual Conference on Learning Theory and 7th Kernel Workshop, COLT/ Kernel 2003 Washington, DC, USA, August 2003, Proceedings, volume
2777 di
Lecture Notes in Artificial Intelligence, pp. 699-713.
Springer-Verlag, Berlin, Heidelberg, New York,
2003. |
Zbl 1274.68142[74]
F. ESTEVA,
L. GODO, e
F. MONTAGNA.
Equational characterization of subvarieties of BL generated by t-norm algebras.
Studia Logica,
76(2):161-200,
2004. |
fulltext (doi) |
MR 2072982 |
Zbl 1045.03048[75]
F. MONTAGNA.
Storage operators and multiplicative quantifiers in many-valued logics.
Journal of Logic and Computation,
14(2):299-322,
2004. |
fulltext (doi) |
MR 2046270 |
Zbl 1061.03027[76]
M. BAAZ,
F. CIBATTONI, e
F. MONTAGNA.
Analytic calculi for monoidal t-norm based logic.
Fundamenta Informaticae,
59(4):315-332,
2004. |
MR 2058357 |
Zbl 1057.03019[79]
T. FLAMINIO e
F. MONTAGNA.
A logical and algebraic treatment of conditional probability.
Archive for Mathematical Logic,
44(2):245-262,
2005. |
fulltext (doi) |
MR 2121263 |
Zbl 1064.03016[80]
J. CASE,
S. JAIN,
F. MONTAGNA,
G. SIMI, e
A. SORBI.
On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms.
Journal of Computer and System Sciences,
71(3):308-332,
2005. |
fulltext (doi) |
MR 2168356 |
Zbl 1094.68039[81]
A. DEL LUNGO,
G. LOUCHARD,
C. MARINI, e
MONTAGNA.
The guessing secrets problem: a probabilistic approach.
Journal of Algorithms,
55(2):142-176,
2005. |
fulltext (doi) |
MR 2137729 |
Zbl 1151.91315[82]
F. MONTAGNA e
L. SPADA.
Continuous approximations of product implication in MV-algebras with product.
Soft Computing,
9:149-154,
2005. |
Zbl 1086.06009[83]
A. DI NOLA,
F. ESTEVA,
L. GODO, e
F. MONTAGNA.
Varieties of BL-algebras.
Soft Computing,
9:875-888,
2005. |
Zbl 1092.03036[84]
F. MONTAGNA.
Generating the variety of BL-algebras.
Soft Computing,
9:869-874,
2005. |
Zbl 1093.03039[85]
F. MONTAGNA.
From lattice ordered abelian groups to the algebras of many-valued logic: a survey.
Pure Mathematics and Application,
16(1-2):89-102,
2005. |
MR 2210767 |
Zbl 1095.03080[86]
G. LOUCHARD,
C. MARINI,
F. MONTAGNA, e
G. SIMI.
A variant of the guessing secrets game.
Pure Math. Appl,
16(3):295-305,
2005. |
MR 2272037 |
Zbl 1110.60003[88]
F. MONTAGNA.
Interpolation and Beth's property in propositional many-valued logics: A semantic investigation.
Annals of Pure and Applied Logic,
141(1-2):148-179,
2006. |
fulltext (doi) |
MR 2229934 |
Zbl 1094.03011[90] F. BELLISSIMA e F. MONTAGNA. Matematica per l'informatica. Aritmetica e logica, probabilità e grafi. Carocci, Roma, 2006.
[92]
E. MARCHIONI e
F. MONTAGNA.
Complexity and definability issues in $Ł\Pi\frac{1}{2}$.
Journal of Logic and Computation,
17(2):311-331,
2007. |
fulltext (doi) |
MR 2322015 |
Zbl 1142.03015[96]
S. BOVA e
F. MONTAGNA.
Proof search in Hájek's Basic Logic.
ACM Transactions on Computational Logic,
9(3):(21) 1-26,
2008. |
fulltext (doi) |
MR 2426369[97]
E. MARCHIONI e
F. MONTAGNA.
On triangular norms and uninorms definable in $Ł\Pi\frac{1}{2}$.
International Journal of Approximate Reasoning,
47(2):179-201,
2008. |
fulltext (doi) |
MR 2369565 |
Zbl 1189.03032[99]
F. MONTAGNA.
Petr Hájek's Logic BL and BL-algebras. In
P. Cintula,
Z. Hainoková, and
V. Švejdar, editori,
Witnessed yearsã-essays in honour of Petr Hájek, volume
10 di
Tributes, pp. 9-12.
College Publications, London,
2009. |
MR 2866628[100]
P. JIPSEN e
F. MONTAGNA.
The Blok-Ferreirim theorem for normal GBL algebras and its application.
Algebra Universalis,
60(4):381-404,
2009. |
fulltext (doi) |
MR 2504748 |
Zbl 1192.06011[101]
S. BOVA e
F. MONTAGNA.
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete.
Theoretical Computer Science,
410(12-13):1143-1158,
2009. |
fulltext (doi) |
MR 2499266 |
Zbl 1159.03045[102]
R. HŎRCÍK e
F. MONTAGNA.
Archimedean classes in integral, commutative residuated lattices.
Mathematical Logic Quarterly,
55(3):320-336,
2009. |
fulltext (doi) |
MR 2519247 |
Zbl 1172.03037[103]
P. CINTULA,
F. ESTEVA,
J. GISPERT,
L. GODO,
F. MONTAGNA, and
C. NOGUERA.
Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies.
Annals Pure Applied Mathematical Logic,
160(1):53-81,
2009. |
fulltext (doi) |
MR 2525974 |
Zbl 1168.03052[104]
M. BIANCHI e
F. MONTAGNA.
Supersound many valued logics and Dedekind-McNeille Completions.
Archive for Mathematical Logic,
48(8):719-736,
2009. |
fulltext (doi) |
MR 2563813 |
Zbl 1185.03040[105]
G. SERGIOLI,
A. LEDDA,
F. PAOLI,
R. GIUNTINI,
T. KOWLASKI,
F. MONTAGNA,
H. FREYTES, e
C. MARINI.
Two cooperative versions of the Guessing Secrets problem.
Information Sciences,
179(20):3645-3658,
2009. |
fulltext (doi) |
MR 2567700 |
Zbl 1173.91300[106]
T. FLAMINIO e
F. MONTAGNA.
MV-algebras with internal states and probabilistic fuzzy logics.
International Journal of Approximate Reasoning,
50(1):138-152,
2009. |
fulltext (doi) |
MR 2519034 |
Zbl 1185.06007[107]
A. CIABATTONI,
G. METCALFE e
F. MONTAGNA.
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions.
Fuzzy Sets and Systems,
161(3):369-389,
2010. |
fulltext (doi) |
MR 2566249 |
Zbl 1190.03026[108]
F. MONTAGNA e
C. NOGUERA.
Arithmetical complexity of first order predicate fuzzy logics over distinguished semantics.
Journal of Logic and Computation,
20(2):399-424,
2010. |
fulltext (doi) |
MR 2602656 |
Zbl 1198.03032[111]
M. FEDEL,
H. HOSNI, e
F. MONTAGNA.
A logical characterization of coherence for imprecise probabilities.
International Journal of Approximate Reasoning,
52(8):1147-1170,
2011. |
fulltext (doi) |
MR 2835066 |
Zbl 1244.03082[112]
F. MONTAGNA.
A notion of coherence for books on conditional events in many-valued logic.
Journal of Logic and Computation,
21(5):829-850,
2011. |
fulltext (doi) |
MR 2836581 |
Zbl 1252.03042[113]
F. MONTAGNA.
An algebraic treatment of imprecise probabilities.
Demonstratio Mathematica,
44(3):497-509,
2011. |
MR 2866581 |
Zbl 1237.06006[114]
F. MONTAGNA.
Completeness with respect to a chain and universal models in fuzzy logic.
Archive for Mathematical Logic,
50(1-2):161-183,
2011. |
fulltext (doi) |
MR 2765640 |
Zbl 1216.03047[116]
T. CORTONESI,
E. MARCHIONI, e
F. MONTAGNA.
Quantifier elimination and other model-theoretic properties of BL-algebras.
Notre Dame Journal of Formal Logic,
52(4):339-379,
2011. |
fulltext (doi) |
MR 2855876 |
Zbl 1247.03137[117]
A. DVUREĈENSKIJ,
T. KOWALSKI, e
F. MONTAGNA.
State morphism MV-algebras.
International Journal of Approximate Reasoning,
52(8):1215-1228,
2011. |
fulltext (doi) |
MR 2835070 |
Zbl 1251.06001[119]
M. BUSANICHE e
F. MONTAGNA.
Hájek's logic BL and BL-algebras. In
P. Cintula,
P. Hájek, e
C. Noguera, editori,
Handbook of Mathematical Fuzzy Logic - Volume 1, volume
37 di
Studies in Logic, Mathematical Logic and Foundations, pp. 355-447.
College Publications, London,
2011. |
MR 3098609 |
Zbl 1284.03176[120]
P. HÁJEK,
F. MONTAGNA, e
C. NOGUERA.
Arithmetical complexity of first-order fuzzy logics. In
P. Cintula,
P. Hájek, e
C. Noguera, editori,
Handbook of Mathematical Fuzzy Logic - Volume 2, volume
38 di
Studies in Logic, Mathematical Logic and Foundations, chapter XI, pp. 853-908.
College Publications, London,
2011. |
MR 3098615 |
Zbl 1284.03180[121]
F. MONTAGNA.
Partially undetermined many-valued events and their conditional probability.
Journal of Philosophical Logic,
41(3):563-593,
2012. |
fulltext (doi) |
MR 2914446 |
Zbl 1261.03096[122]
F. MONTAGNA.
$\Delta$-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation.
Studia Logica,
100(1-2):289-317,
2012. |
fulltext (doi) |
MR 2923541 |
Zbl 1258.03029[123]
F. MONTAGNA e
D. PIANIGIANI.
A short note on essentially $\Sigma_1$ sentences (revised and extendend version).
Logica Universalis,
7(1):103-111,
2013. |
fulltext (doi) |
MR 3027660 |
Zbl 1270.03039[126]
M. FEDEL,
K. KEIMEL,
F. MONTAGNA, e
W. ROTH.
Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic.
Forum Mathematicum,
25(2):405-441,
2013. |
fulltext (doi) |
MR 3031791 |
Zbl 1266.06011[127]
M. FEDEL,
F. MONTAGNA, e
G. SCIANNA.
Non-standard probability, coherence and conditional probability on many-valued events.
International Journal of Approximate Reasoning,
54(5):573-589,
2013. |
fulltext (doi) |
MR 3041094 |
Zbl 1316.03009[128]
A. CIABATTONI e
F. MONTAGNA.
Proof theory for locally finite many-valued logics: Semi-projective logics.
Theoretical Computer Science,
480:26-42,
2013. |
fulltext (doi) |
MR 3035107 |
Zbl 1322.03019[130]
H. HOSNI e
F. MONTAGNA.
Stable non-standard imprecise probabilities. In
A. Laurent,
O. Strauss,
B. Bouchon-Meunier, e
R.R. Yager, editori,
Information Processing and Management of Uncertainty in Knowledge-Based Systems: 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III., volume
444 di
Communication in Computer and Information Science, pp. 436-445, New York, USA, 2014.
Springer-Verlag. |
MR 3616469[131]
S. JENEI e
F. MONTAGNA.
A classification of certain group-like $FL_{e}$-chains.
Synthese,
192(7):2095-2121,
2015. (Erratum:
Synthese,
193(1) (
2016), p. 313). |
fulltext (doi) |
MR 3400598 |
Zbl 1357.06011[132]
F. MONTAGNA,
G. SIMI, e
A. SORBI.
Taking the Piraha seriously.
Communications in Nonlinear Science and Numerical Simulation,
21(1-3):52-69,
2015. |
fulltext (doi) |
MR 3278323 |
Zbl 06534849[134]
M. BIANCHI e
F. MONTAGNA.
Trakhtenbrot theorem and first-order axiomatic extensions of MTL.
Studia Logica,
103(6):1163-1181,
2015. (Erratum:
Studia Logica 103(6) (
2015), p. 1183). |
fulltext (doi) |
MR 3424105 |
Zbl 1330.03061[135] V. MARRA, F. MONTAGNA, e L. SPADA. Logiche polivalenti. In H. Hosni, G. Lolli, e C. Toffalori, editori, Le direzioni della ricerca logica in Italia. Edizioni della Normale, Pisa, 2015.
[136]
M. BONGINI,
A. CIABATTONI, e
F. MONTAGNA.
Proof search and Co-NP completeness for many-valued logics.
Fuzzy Sets and Systems,
292:130-149,
2016. |
fulltext (doi) |
MR 3471212[137]
E.A. CORSI e
F. MONTAGNA.
The Rényi-Ulam games and many-valued logics. In corso di stampa su
Fuzzy Sets and Systems. |
fulltext (doi) |
MR 3537845[138] T. FLAMINIO, H. HOSNI, e F. MONTAGNA. A characterization of strict coherence for infinite-valued events. In preparazione.