Obituary: Franco Montagna (1948--2015) (Q1699726): Difference between revisions

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