Obituary: Franco Montagna (1948--2015)

DOI10.1007/s00500-016-2449-7zbMath1384.01082OpenAlexW2562131938MaRDI QIDQ1699726

Aldo Ursini

Publication date: 23 February 2018

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-016-2449-7

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70)

Cites Work

• Proof theory for locally finite many-valued logics: semi-projective logics
• Partially undetermined many-valued events and their conditional probability
• \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
• A classification of certain group-like \(\mathrm{FL}_e\)-chains
• \(n\)-contractive BL-logics
• Completeness with respect to a chain and universal models in fuzzy logic
• A logical characterization of coherence for imprecise probabilities
• State morphism MV-algebras
• Quantifier elimination and other model-theoretic properties of BL-algebras
• The Rényi-Ulam games and many-valued logics
• Two cooperative versions of the guessing secrets problem
• The logic of \(\Pi_ 1\)-conservativity
• The predicate modal logic of provability
• Varieties of BL-algebras
• Generating the variety of BL-algebras
• On the structure of generalized BL-algebras
• Product logic and probabilistic Ulam games
• Trakhtenbrot theorem and first-order axiomatic extensions of MTL
• Taking the Pirahã seriously
• MV-algebras with internal states and probabilistic fuzzy logics
• Embedding theorems for classes of GBL-algebras
• Retracted: Ordered groups with a modality
• The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Ordered groups with a conucleus
• Supersound many-valued logics and Dedekind-MacNeille completions
• Generic generalized Rosser fixed points
• ``Pathologies in two syntactic categories of partial maps
• Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic
• The undecidability of the first-order theory of diagonalizable algebras
• The well-founded algebras
• Relatively precomplete numerations and arithmetic
• On the proof of Solovay's theorem
• Rosser orderings and free variables
• 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.)
• On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
• Rosser and Mostowski sentences
• Investigations on measure-one identification of classes of languages
• Paradigms in measure theoretic learning and in informant learning
• The logic of \(\Pi_ 1\)-conservativity continued
• A minimal predicative set theory
• On the continuity points of left-continuous t-norms
• A proof of standard completeness for Esteva and Godo's logic MTL
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
• On the predicate logics of continuous t-norm BL-algebras
• A logical and algebraic treatment of conditional probability
• Equational fragments of systems for arithmetic.
• A general method for constructing left-continuous t-norms
• Varieties of BL-algebras. I: General properties.
• A note on some extension results
• Equational characterization of the subvarieties of BL generated by t-norm algebras
• On a class of left-continuous \(\text t\)-norms
• PAC learning of probability distributions over a discrete domain.
• An algebraic treatment of quantifier-free systems of arithmetic
• Logic and probabilistic systems
• Polynomial space hardness without disjunction property
• A short note on essentially \(\Sigma_1\) sentences
• Learning to coordinate; a recursion theoretic perspective
• An operational logic of proofs with positive and negative information
• An algebraic approach to propositional fuzzy logic
• Amalgamation and interpolation in ordered algebras.
• Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
• On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\)
• A categorical equivalence for product algebras
• Non-standard probability, coherence and conditional probability on many-valued events
• Basic hoops: an algebraic study of continuous t-norms
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms
• Subreducts of MV-algebras with product and product residuation
• The Blok-Ferreirim theorem for normal GBL-algebras and its application
• Investigations on Fragments of First Order Branching Temporal Logic
• Models for Many-Valued Probabilistic Reasoning
• The Guessing Secrets problem: a probabilistic approach
• A Notion of Coherence for Books on Conditional Events in Many-valued Logic
• An algebraic treatment of imprecise probabilities
• Creativeness and completeness in recursion categories of partial recursive operators
• On Weakly Cancellative Fuzzy Logics
• Much shorter proofs: A bimodal investigation
• A note on the first‐order logic of complete BL‐chains
• Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics
• Archimedean classes in integral commutative residuated chains
• ZFC-MODELS AS KRIPKE-MODELS
• Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
• A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS
• Universal recursion theoretic properties of r.e. preordered structures
• Provability in finite subtheories of PA and relative interpretability: a modal investigation
• Provable Fixed Points
• Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras
• Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic.
• Polynomially and superexponentially shorter proofs in fragments of arithmetic
• Rosser Orderings in Bimodal Logics
• Much Shorter Proofs
• A Note on Relative Efficiency of Axiom Systems
• On first-order theories with provability operator
• Hoops and Fuzzy Logic
• Kripke‐style semantics for many‐valued logics
• A Tableau Calculus for Hajek's Logic BL
• A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain
• Storage Operators and Multiplicative Quantifiers in Many-valued Logics
• Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic
• Stable Non-standard Imprecise Probabilities
• Proof search in Hájek's basic logic
• Strongly involutive uninorm algebras
• Substructural fuzzy logics
• Complexity and Definability Issues in LFormula
• The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
• Functorial representation theorems for MV\(_\Delta\) algebras with additional operators
• Three complexity problems in quantified fuzzy logic
• Adding structure to MV-algebras
• Complexity of t-tautologies
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item