Obituary: Franco Montagna (1948--2015) (Q1699726)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Obituary: Franco Montagna (1948--2015)	scientific article

Statements

scholarly article

0 references

Obituary: Franco Montagna (1948--2015) (English)

0 references

zbMATH Open document ID

0 references

10.1007/s00500-016-2449-7

0 references

0 references

0 references

publication date

23 February 2018

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s00500-016-2449-7

0 references

0 references

Varieties of BL-algebras. I: General properties.

0 references

Basic hoops: an algebraic study of continuous t-norms

0 references

On first-order theories with provability operator

0 references

Complexity of t-tautologies

0 references

0 references

\(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation

0 references

Equivalence relations induced by extensional formulae: classification by means of a new fixed point property

0 references

Supersound many-valued logics and Dedekind-MacNeille completions

0 references

\(n\)-contractive BL-logics

0 references

Trakhtenbrot theorem and first-order axiomatic extensions of MTL

0 references

Proof search in Hájek's basic logic

0 references

The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete

0 references

Polynomial space hardness without disjunction property

0 references

0 references

Rosser Orderings in Bimodal Logics

0 references

Much shorter proofs: A bimodal investigation

0 references

On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms

0 references

Proof theory for locally finite many-valued logics: semi-projective logics

0 references

Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions

0 references

On a class of left-continuous \(\text t\)-norms

0 references

Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies

0 references

The Rényi-Ulam games and many-valued logics

0 references

Quantifier elimination and other model-theoretic properties of BL-algebras

0 references

Generic generalized Rosser fixed points

0 references

Provable Fixed Points

0 references

Much Shorter Proofs

0 references

Rosser orderings and free variables

0 references

On the proof of Solovay's theorem

0 references

The Guessing Secrets problem: a probabilistic approach

0 references

Varieties of BL-algebras

0 references

Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic.

0 references

0 references

State morphism MV-algebras

0 references

The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics

0 references

On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic

0 references

Hoops and Fuzzy Logic

0 references

Equational characterization of the subvarieties of BL generated by t-norm algebras

0 references

A logical characterization of coherence for imprecise probabilities

0 references

Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic

0 references

Non-standard probability, coherence and conditional probability on many-valued events

0 references

A logical and algebraic treatment of conditional probability

0 references

MV-algebras with internal states and probabilistic fuzzy logics

0 references

Models for Many-Valued Probabilistic Reasoning

0 references

A Note on Relative Efficiency of Axiom Systems

0 references

The logic of \(\Pi_ 1\)-conservativity

0 references

The logic of \(\Pi_ 1\)-conservativity continued

0 references

A note on the first‐order logic of complete BL‐chains

0 references

0 references

0 references

Archimedean classes in integral commutative residuated chains

0 references

Stable Non-standard Imprecise Probabilities

0 references

A proof of standard completeness for Esteva and Godo's logic MTL

0 references

A general method for constructing left-continuous t-norms

0 references

On the continuity points of left-continuous t-norms

0 references

Strongly involutive uninorm algebras

0 references

A classification of certain group-like \(\mathrm{FL}_e\)-chains

0 references

On the structure of generalized BL-algebras

0 references

The Blok-Ferreirim theorem for normal GBL-algebras and its application

0 references

Embedding theorems for classes of GBL-algebras

0 references

0 references

An operational logic of proofs with positive and negative information

0 references

PAC learning of probability distributions over a discrete domain.

0 references

Complexity and Definability Issues in LFormula

0 references

On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\)

0 references

Substructural fuzzy logics

0 references

Amalgamation and interpolation in ordered algebras.

0 references

0 references

0 references

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.)

0 references

On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)

0 references

0 references

0 references

Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic

0 references

The undecidability of the first-order theory of diagonalizable algebras

0 references

0 references

Relatively precomplete numerations and arithmetic

0 references

ZFC-MODELS AS KRIPKE-MODELS

0 references

The well-founded algebras

0 references

A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS

0 references

The predicate modal logic of provability

0 references

A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain

0 references

Provability in finite subtheories of PA and relative interpretability: a modal investigation

0 references

Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras

0 references

``Pathologies'' in two syntactic categories of partial maps

0 references

0 references

Polynomially and superexponentially shorter proofs in fragments of arithmetic

0 references

Adding structure to MV-algebras

0 references

An algebraic treatment of quantifier-free systems of arithmetic

0 references

Investigations on measure-one identification of classes of languages

0 references

An algebraic approach to propositional fuzzy logic

0 references

Three complexity problems in quantified fuzzy logic

0 references

Functorial representation theorems for MV\(_\Delta\) algebras with additional operators

0 references

Storage Operators and Multiplicative Quantifiers in Many-valued Logics

0 references

Subreducts of MV-algebras with product and product residuation

0 references

On the predicate logics of continuous t-norm BL-algebras

0 references

Generating the variety of BL-algebras

0 references

0 references

Interpolation and Beth's property in propositional many-valued logics: a semantic investigation

0 references

A Notion of Coherence for Books on Conditional Events in Many-valued Logic

0 references

An algebraic treatment of imprecise probabilities

0 references

Completeness with respect to a chain and universal models in fuzzy logic

0 references

Partially undetermined many-valued events and their conditional probability

0 references

0 references

Universal recursion theoretic properties of r.e. preordered structures

0 references

Rosser and Mostowski sentences

0 references

Creativeness and completeness in recursion categories of partial recursive operators

0 references

A note on some extension results

0 references

A minimal predicative set theory

0 references

Learning to coordinate; a recursion theoretic perspective

0 references

Paradigms in measure theoretic learning and in informant learning

0 references

Equational fragments of systems for arithmetic.

0 references

Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)

0 references

Kripke‐style semantics for many‐valued logics

0 references

Retracted: Ordered groups with a modality

0 references

Ordered groups with a conucleus

0 references

Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics

0 references

A short note on essentially \(\Sigma_1\) sentences

0 references

A categorical equivalence for product algebras

0 references

Logic and probabilistic systems

0 references

Investigations on Fragments of First Order Branching Temporal Logic

0 references

A Tableau Calculus for Hajek's Logic BL

0 references

On Weakly Cancellative Fuzzy Logics

0 references

Product logic and probabilistic Ulam games

0 references

Taking the Pirahã seriously

0 references

Two cooperative versions of the guessing secrets problem

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1699726

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1699726&oldid=36375134"