Person:167897

Available identifiers

zbMath Open montagna.francoDBLP61/6713WikidataQ100804116 ScholiaQ100804116MaRDI QIDQ167897

List of research outcomes

Publication	Date of Publication	Type
Stable Non-standard Imprecise Probabilities	2019-07-26	Paper
https://portal.mardi4nfdi.de/entity/Q4627751	2019-03-11	Paper
Varieties of BL-algebras. II	2018-10-02	Paper
STRICT COHERENCE ON MANY-VALUED EVENTS	2018-05-02	Paper
Proof search and co-NP completeness for many-valued logics	2018-02-19	Paper
The Rényi-Ulam games and many-valued logics	2018-01-22	Paper
Proof search in Hájek's basic logic	2017-07-12	Paper
A classification of certain group-like \(\mathrm{FL}_e\)-chains	2017-03-09	Paper
Erratum to: ``A classification of certain group-like \(\mathrm{FL}_e\)-chains	2017-03-08	Paper
Taking the Pirahã seriously	2016-01-25	Paper
Trakhtenbrot theorem and first-order axiomatic extensions of MTL	2015-12-07	Paper
Erratum to: ``Trakhtenbrot theorem and first-order axiomatic extensions of MTL	2015-12-07	Paper
Introduction	2015-10-06	Paper
Non-standard probability, coherence and conditional probability on many-valued events	2015-07-10	Paper
A categorical equivalence for product algebras	2015-07-02	Paper
Amalgamation and interpolation in ordered algebras.	2014-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q5406042	2014-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q5406036	2014-04-01	Paper
Proof theory for locally finite many-valued logics: semi-projective logics	2013-11-29	Paper
Strongly involutive uninorm algebras	2013-06-27	Paper
Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic	2013-04-16	Paper
A short note on essentially \(\Sigma_1\) sentences	2013-04-08	Paper
Polynomial space hardness without disjunction property	2013-02-19	Paper
\(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation	2012-10-01	Paper
Partially undetermined many-valued events and their conditional probability	2012-09-20	Paper
Quantifier elimination and other model-theoretic properties of BL-algebras	2011-12-21	Paper
An algebraic treatment of imprecise probabilities	2011-12-01	Paper
A logical characterization of coherence for imprecise probabilities	2011-11-22	Paper
State morphism MV-algebras	2011-11-22	Paper
A Notion of Coherence for Books on Conditional Events in Many-valued Logic	2011-11-10	Paper
Models for Many-Valued Probabilistic Reasoning	2011-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q2998392	2011-05-18	Paper
\(n\)-contractive BL-logics	2011-05-11	Paper
Completeness with respect to a chain and universal models in fuzzy logic	2011-03-02	Paper
Embedding theorems for classes of GBL-algebras	2010-04-22	Paper
Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics	2010-04-21	Paper
MV-algebras with internal states and probabilistic fuzzy logics	2010-04-07	Paper
Learning Theory and Kernel Machines	2010-03-23	Paper
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions	2010-03-18	Paper
On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\)	2010-03-18	Paper
The Blok-Ferreirim theorem for normal GBL-algebras and its application	2010-01-22	Paper
Supersound many-valued logics and Dedekind-MacNeille completions	2009-12-14	Paper
Ordered groups with a conucleus	2009-11-04	Paper
Two cooperative versions of the guessing secrets problem	2009-10-01	Paper
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies	2009-06-17	Paper
Archimedean classes in integral commutative residuated chains	2009-06-11	Paper
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete	2009-03-25	Paper
A note on the first‐order logic of complete BL‐chains	2008-08-15	Paper
Complexity and Definability Issues in LFormula	2007-12-17	Paper
Basic hoops: an algebraic study of continuous t-norms	2007-12-03	Paper
Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions	2007-11-15	Paper
Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops	2007-11-15	Paper
Substructural fuzzy logics	2007-10-17	Paper
Retracted: Ordered groups with a modality	2007-09-03	Paper
Product logic and probabilistic Ulam games	2007-04-18	Paper
https://portal.mardi4nfdi.de/entity/Q3428802	2007-03-29	Paper
On the structure of generalized BL-algebras	2007-01-29	Paper
On Weakly Cancellative Fuzzy Logics	2006-12-04	Paper
Interpolation and Beth's property in propositional many-valued logics: a semantic investigation	2006-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q5475635	2006-06-27	Paper
Varieties of BL-algebras	2006-03-02	Paper
Generating the variety of BL-algebras	2006-03-02	Paper
Subreducts of MV-algebras with product and product residuation	2006-01-06	Paper
Continuous approximations of product implication in MV-algebras with product	2005-11-16	Paper
On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms	2005-10-10	Paper
The Guessing Secrets problem: a probabilistic approach	2005-06-30	Paper
Equational fragments of systems for arithmetic.	2005-04-19	Paper
A logical and algebraic treatment of conditional probability	2005-03-02	Paper
On the predicate logics of continuous t-norm BL-algebras	2005-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q4825702	2004-11-05	Paper
Storage Operators and Multiplicative Quantifiers in Many-valued Logics	2004-10-15	Paper
Equational characterization of the subvarieties of BL generated by t-norm algebras	2004-08-06	Paper
A Tableau Calculus for Hajek's Logic BL	2004-05-18	Paper
Corrigendum to “Kripke‐style semantics for many‐valued logics”	2004-03-15	Paper
On the continuity points of left-continuous t-norms	2004-03-07	Paper
Kripke‐style semantics for many‐valued logics	2004-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q4442749	2004-01-20	Paper
Hoops and Fuzzy Logic	2003-11-10	Paper
Varieties of BL-algebras. I: General properties.	2003-06-18	Paper
A general method for constructing left-continuous t-norms	2003-06-17	Paper
PAC learning of probability distributions over a discrete domain.	2003-05-25	Paper
On a class of left-continuous \(\text t\)-norms	2003-04-02	Paper
Complexity of t-tautologies	2003-03-06	Paper
Investigation on fragments of first order branching temporal logic	2003-01-07	Paper
Adding structure to MV-algebras	2002-09-16	Paper
On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic	2002-08-26	Paper
Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)	2002-08-26	Paper
A proof of standard completeness for Esteva and Godo's logic MTL	2002-07-08	Paper
Functorial representation theorems for MV\(_\Delta\) algebras with additional operators	2002-06-16	Paper
Three complexity problems in quantified fuzzy logic	2002-05-13	Paper
Free \(\text{BL}_\Delta\)-algebras	2002-05-05	Paper
The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics	2001-05-06	Paper
An operational logic of proofs with positive and negative information	2000-11-05	Paper
Learning to coordinate; a recursion theoretic perspective	2000-09-05	Paper
An algebraic approach to propositional fuzzy logic	2000-08-23	Paper
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain	2000-06-21	Paper
Paradigms in measure theoretic learning and in informant learning	1999-05-24	Paper
Investigations on measure-one identification of classes of languages	1998-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4348126	1998-01-26	Paper
Logic and probabilistic systems	1996-06-11	Paper
An algebraic treatment of quantifier-free systems of arithmetic	1996-06-11	Paper
A minimal predicative set theory	1995-07-20	Paper
A Note on Relative Efficiency of Axiom Systems	1995-05-14	Paper
On first-order theories with provability operator	1995-02-13	Paper
The logic of \(\Pi_ 1\)-conservativity continued	1994-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q3140637	1993-12-05	Paper
Polynomially and superexponentially shorter proofs in fragments of arithmetic	1993-04-01	Paper
Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic.	1992-06-27	Paper
Rosser orderings and free variables	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3971436	1992-06-25	Paper
On the proof of Solovay's theorem	1992-06-25	Paper
A note on some extension results	1992-06-25	Paper
Much shorter proofs: A bimodal investigation	1990-01-01	Paper
The logic of \(\Pi_ 1\)-conservativity	1990-01-01	Paper
``Pathologies in two syntactic categories of partial maps	1989-01-01	Paper
Creativeness and completeness in recursion categories of partial recursive operators	1989-01-01	Paper
Rosser Orderings in Bimodal Logics	1989-01-01	Paper
Much Shorter Proofs	1989-01-01	Paper
Provable Fixed Points	1988-01-01	Paper
Rosser and Mostowski sentences	1988-01-01	Paper
Generic generalized Rosser fixed points	1987-01-01	Paper
Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras	1987-01-01	Paper
Provability in finite subtheories of PA and relative interpretability: a modal investigation	1987-01-01	Paper
Universal recursion theoretic properties of r.e. preordered structures	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3699666	1985-01-01	Paper
The predicate modal logic of provability	1984-01-01	Paper
A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS	1984-01-01	Paper
Equivalence relations induced by extensional formulae: classification by means of a new fixed point property	1984-01-01	Paper
The well-founded algebras	1983-01-01	Paper
ZFC-MODELS AS KRIPKE-MODELS	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3671157	1983-01-01	Paper
Relatively precomplete numerations and arithmetic	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3893901	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3898470	1980-01-01	Paper
Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic	1980-01-01	Paper
The undecidability of the first-order theory of diagonalizable algebras	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4190631	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3852250	1979-01-01	Paper
On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)	1978-01-01	Paper
For every n, the n-freely generated algebra is not functionally free in the equational class of diagonalizable algebras. (The algebraization of theories which express Theor. V.)	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4065538	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4081301	1974-01-01	Paper

Research outcomes over time

This page was built for person: Franco Montagna