Obituary: Franco Montagna (1948--2015)
From MaRDI portal
Publication:1699726
DOI10.1007/s00500-016-2449-7zbMath1384.01082OpenAlexW2562131938MaRDI QIDQ1699726
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
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