MARRA VINCENZO

From Freudenthal’s spectral theorem to projectable hulls of unital Archimedean lattice-groups, through compactifications of minimal spectra.

FORUM MATHEMATICUM.

2017

Academic Article

Open Access

Generalised states : a multi-sorted algebraic approach to probability.

SOFT COMPUTING.

2017

Academic Article

Open Access

Stone duality above dimension zero: Axiomatising the algebraic theory of C(X).

ADVANCES IN MATHEMATICS.

2017

Academic Article

Partially Open Access

Tarski's theorem on intuitionistic logic, for polyhedra.

ANNALS OF PURE AND APPLIED LOGIC.

2017

Academic Article

Reserved Access

De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces.

JOURNAL OF PURE AND APPLIED ALGEBRA.

2015

Academic Article

Idempotent generated algebras and Boolean powers of commutative rings.

ALGEBRA UNIVERSALIS.

2015

Academic Article

The Chinese Remainder Theorem for Strongly Semisimple MV-Algebras and Lattice-Groups.

MATHEMATICA SLOVACA.

2015

Academic Article

Reserved Access

International journal of approximate reasoning. Special issue on “Rough sets and logic” : editorial.

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING.

2014

Academic Article

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality.

JOURNAL OF ALGEBRA.

2014

Academic Article

The Problem of Artificial Precision in Theories of Vagueness : A Note on the Rôle of Maximal Consistency.

ERKENNTNIS.

2014

Academic Article

Open Access

The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic.

FUZZY SETS AND SYSTEMS.

2014

Academic Article

Unital hyperarchimedean vector lattices.

TOPOLOGY AND ITS APPLICATIONS.

2014

Academic Article

Open Access

Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras.

ANNALS OF PURE AND APPLIED LOGIC.

2013

Academic Article

Lattice-ordered Abelian groups and Schauder bases of unimodular fans, II.

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY.

2013

Academic Article

MV-algebras freely generated by finite Kleene algebras.

ALGEBRA UNIVERSALIS.

2013

Academic Article

Many-valued logic : beyond algebraic semantics.

SOFT COMPUTING.

2012

Academic Article

Stone duality for real-valued multisets.

FORUM MATHEMATICUM.

2012

Academic Article

The Dual Adjunction between MV-algebras and Tychonoff Spaces.

STUDIA LOGICA.

2012

Academic Article

Valuations in Gödel logic, and the Euler characteristic.

JOURNAL OF MULTIPLE VALUED LOGIC & SOFT COMPUTING.

2012

Academic Article

Computing minimal axiomatisations in Gödel propositional logic.

JOURNAL OF LOGIC AND COMPUTATION.

2011

Academic Article

Finitely Presented MV-algebras with Finite Automorphism Group.

JOURNAL OF LOGIC AND COMPUTATION.

2010

Academic Article

A temporal semantics for basic logic.

STUDIA LOGICA.

2009

Academic Article

Reserved Access

An Analysis of Ruspini Partitions in Gödel Logic.

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING.

2009

Academic Article

The Lebesgue state of a unital Abelian lattice-ordered group, II.

JOURNAL OF GROUP THEORY.

2009

Academic Article

A characterization of MV-algebras free over finite distributive lattices.

ARCHIVE FOR MATHEMATICAL LOGIC.

2008

Academic Article

De Finetti's no-Dutch-book criterion for Gödel logic.

STUDIA LOGICA.

2008

Academic Article

Gödel Algebras Free over Finite Distributive Lattices.

ANNALS OF PURE AND APPLIED LOGIC.

2008

Academic Article

Weinberg's theorem, Elliott's ultrasimplicial property, and a characterisation of free lattice-ordered Abelian groups.

FORUM MATHEMATICUM.

2008

Academic Article

Lattice-ordered Abelian groups and Schauder bases of unimodular fans.

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY.

2007

Academic Article

Spectral duality for finitely generated nilpotent minimum algebras, with applications.

JOURNAL OF LOGIC AND COMPUTATION.

2007

Academic Article

The Lebesgue state of a unital abelian lattice-ordered group.

JOURNAL OF GROUP THEORY.

2007

Academic Article

The underlying group of any ﬁnitely generated Abelian lattice-ordered group is free.

ALGEBRA UNIVERSALIS.

2007

Academic Article

Computing coproducts of finitely presented Gödel algebras.

ANNALS OF PURE AND APPLIED LOGIC.

2006

Academic Article

Riemann average truth-value of Lukasiewicz formulas.

MATHEMATICA SLOVACA.

2006

Academic Article

Embedding finitely generated Abelian lattice-ordered groups : Higman's theorem and a realisation of \pi.

JOURNAL OF THE LONDON MATHEMATICAL SOCIETY.

2003

Academic Article

Combinatorial fans, lattice-ordered groups, and their neighbours : a short excursion.

SÉMINAIRE LOTHARINGIEN DE COMBINATOIRE.

2002

Academic Article

Every Abelian l-group is ultrasimplicial.

JOURNAL OF ALGEBRA.

2000

Academic Article

Two Principles in Many-Valued Logic.

OUTSTANDING CONTRIBUTIONS TO LOGIC. Springer.

2015

Chapter

Is there a probability theory of many-valued events?.

Edizioni della Normale.

2010

Chapter

Best Approximation of Ruspini Partitions in Gödel Logic.

Springer.

2007

Chapter

Embedding in finitely generated lattice-ordered groups : explicit presentations for constructions.

Cambridge University Press.

2007

Chapter

Lukasiewicz logic and Chang's MV algebras in action.

Kluwer Academic Publishers.

2003

Chapter

MV-algebras and Abelian l-groups : a fruitful interaction.

Kluwer Academic Publishers.

2002

Chapter

A logical analysis of Mamdani-type fuzzy inference, I : theoretical bases.

2010

Conference Paper

A logical analysis of Mamdani-type fuzzy inference, II : an experiment on the technical analysis of financial markets.

2010

Conference Paper

The Euler characteristic of a formula in Gödel logic.

2010

Conference Paper

The automorphism group of finite Gödel algebras.

2010

Conference Paper

A characterisation of bases of triangular fuzzy sets.

2009

Conference Paper

Algebras of Fuzzy Sets in Logics based on Continuous Triangular Norms.

2009

Conference Paper

Applications of finite duality to locally finite varieties of BL-algebras.

2009

Conference Paper

Open Partitions and Probability Assignments in Gödel Logic.

2009

Conference Paper

Defuzzifying formulas in Gödel logic through finitely additive measures.

2008

Conference Paper

Embedding Gödel propositional logic into Prior's tense logic.

2008

Conference Paper

Propositional Gödel logic and Delannoy paths.

2007

Conference Paper

Brun normal forms for co-atomic Lukasiewicz logics.

2005

Conference Paper

Consequence and complexity in infinite-valued logic: a survey.

2002

Conference Paper

Products in the category of forests and p-morphisms via Delannoy paths on Cartesian products.

2015

Document

Open Access

Combinatorial descriptions of products in the category of forests and open order-preserving maps.

2014

Document

Profinite Heyting algebras, and partitions of image-finite posets under open maps.

2009

Document

A combinatorial expansion arising from Lukasiewicz logic.

2008

Document

Logic, Language, and Computation.

Springer.

2013

Edited Book

Applications of topological dualities to measure theory in algebraic many-valued logic.

Oxford University Press.

2011

Edited Book

From combinatorics to philosophy: the legacy of G.-C. Rota.

Springer.

2009

Edited Book

Sistemi operativi : concetti ed esempi.

Pearson Education Italia.

2009

Edited Book

Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday.

Springer.

2007

Edited Book

Sistemi operativi : concetti ed esempi.

Pearson Education Italia.

2006

Edited Book

Il linguaggio C. Nuova edizione italiana.

Pearson Education Italia.

2004

Edited Book

INTERMEDIATE LOGICS AND POLYHEDRA.

2018

Thesis

Open Access

VECTOR LATTICES, POLYHEDRAL GEOMETRY, AND VALUATIONS.

2013

Thesis

Open Access

LE ORGANIZZAZIONI NON GOVERNATIVE NELLE ZONE DI GUERRA. IL CASO ISRAELE-PALESTINA..

2011

Thesis

Open Access

Settori

Ricerca Finanziata (3)

Ordered Algebraic Structures in Game Theory.

TEORIA DELLA PROBABILITA' DI EVENTI NON CLASSICI.

Mathematical Tools for the Management of Uncertain and Vague Information.

Pubblicazioni (70)

From Freudenthal’s spectral theorem to projectable hulls of unital Archimedean lattice-groups, through compactifications of minimal spectra.

Generalised states : a multi-sorted algebraic approach to probability.

Stone duality above dimension zero: Axiomatising the algebraic theory of C(X).

Tarski's theorem on intuitionistic logic, for polyhedra.

De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces.

Idempotent generated algebras and Boolean powers of commutative rings.

The Chinese Remainder Theorem for Strongly Semisimple MV-Algebras and Lattice-Groups.

International journal of approximate reasoning. Special issue on “Rough sets and logic” : editorial.

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality.

The Problem of Artificial Precision in Theories of Vagueness : A Note on the Rôle of Maximal Consistency.

The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic.

Unital hyperarchimedean vector lattices.

Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras.

Lattice-ordered Abelian groups and Schauder bases of unimodular fans, II.

MV-algebras freely generated by finite Kleene algebras.

Many-valued logic : beyond algebraic semantics.

Stone duality for real-valued multisets.

The Dual Adjunction between MV-algebras and Tychonoff Spaces.

Valuations in Gödel logic, and the Euler characteristic.

Computing minimal axiomatisations in Gödel propositional logic.

Finitely Presented MV-algebras with Finite Automorphism Group.

A temporal semantics for basic logic.

An Analysis of Ruspini Partitions in Gödel Logic.

The Lebesgue state of a unital Abelian lattice-ordered group, II.

A characterization of MV-algebras free over finite distributive lattices.

De Finetti's no-Dutch-book criterion for Gödel logic.

Gödel Algebras Free over Finite Distributive Lattices.

Weinberg's theorem, Elliott's ultrasimplicial property, and a characterisation of free lattice-ordered Abelian groups.

Lattice-ordered Abelian groups and Schauder bases of unimodular fans.

Spectral duality for finitely generated nilpotent minimum algebras, with applications.

The Lebesgue state of a unital abelian lattice-ordered group.

The underlying group of any ﬁnitely generated Abelian lattice-ordered group is free.

Computing coproducts of finitely presented Gödel algebras.

Riemann average truth-value of Lukasiewicz formulas.

Embedding finitely generated Abelian lattice-ordered groups : Higman's theorem and a realisation of \pi.

Combinatorial fans, lattice-ordered groups, and their neighbours : a short excursion.

Every Abelian l-group is ultrasimplicial.

Two Principles in Many-Valued Logic.

Is there a probability theory of many-valued events?.

Best Approximation of Ruspini Partitions in Gödel Logic.

Embedding in finitely generated lattice-ordered groups : explicit presentations for constructions.

Lukasiewicz logic and Chang's MV algebras in action.

MV-algebras and Abelian l-groups : a fruitful interaction.

A logical analysis of Mamdani-type fuzzy inference, I : theoretical bases.

A logical analysis of Mamdani-type fuzzy inference, II : an experiment on the technical analysis of financial markets.

The Euler characteristic of a formula in Gödel logic.

The automorphism group of finite Gödel algebras.

A characterisation of bases of triangular fuzzy sets.

Algebras of Fuzzy Sets in Logics based on Continuous Triangular Norms.

Applications of finite duality to locally finite varieties of BL-algebras.

Open Partitions and Probability Assignments in Gödel Logic.

Defuzzifying formulas in Gödel logic through finitely additive measures.

Embedding Gödel propositional logic into Prior's tense logic.

Propositional Gödel logic and Delannoy paths.

Brun normal forms for co-atomic Lukasiewicz logics.

Consequence and complexity in infinite-valued logic: a survey.

Products in the category of forests and p-morphisms via Delannoy paths on Cartesian products.

Combinatorial descriptions of products in the category of forests and open order-preserving maps.

Profinite Heyting algebras, and partitions of image-finite posets under open maps.

A combinatorial expansion arising from Lukasiewicz logic.

Logic, Language, and Computation.

Applications of topological dualities to measure theory in algebraic many-valued logic.

From combinatorics to philosophy: the legacy of G.-C. Rota.

Sistemi operativi : concetti ed esempi.

Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday.

Sistemi operativi : concetti ed esempi.

Il linguaggio C. Nuova edizione italiana.

INTERMEDIATE LOGICS AND POLYHEDRA.

VECTOR LATTICES, POLYHEDRAL GEOMETRY, AND VALUATIONS.

LE ORGANIZZAZIONI NON GOVERNATIVE NELLE ZONE DI GUERRA. IL CASO ISRAELE-PALESTINA..

Congressi (2)

Collegi Di Dottorato (12)

Tutoraggio (4)

Pdf