Antonio Di Nola

Affiliations:
  • University of Salerno, Italy


According to our database1, Antonio Di Nola authored at least 120 papers between 1984 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Involutive symmetric Gödel spaces, their algebraic duals and logic.
Arch. Math. Log., July, 2023

A pointfree approach to measurability and statistical models.
Proceedings of the International Symposium on Imprecise Probability: Theories and Applications, 2023

2022
Forensic Dynamic Lukasiewicz Logic.
TFSS, 2022

Epistemic Łukasiewicz logic of partial knowledge.
Soft Comput., 2022

Geometry of super-Łukasiewicz logics.
J. Log. Comput., 2022

2021
Dynamic Łukasiewicz logic and its application to immune system.
Soft Comput., 2021

Dualities and algebraic geometry of Baire functions in non-classical logic.
J. Log. Comput., 2021

Sheaf representations and locality of Riesz spaces with order unit.
J. Log. Anal., 2021

An approach to stochastic processes via non-classical logic.
Ann. Pure Appl. Log., 2021

MV-tropical polynomials and neural networks.
Proceedings of WILF 2021, 2021

2020
Ideals of an EMV-semiring.
Int. J. Gen. Syst., 2020

Dynamic Łukasiewicz Logic and Dynamic <i>MV</i>-algebras.
Int. J. Approx. Reason., 2020

2019
On the variety of Gödel MV-algebras.
Soft Comput., 2019

Topological spaces of monadic MV-algebras.
Soft Comput., 2019

Some Invariant Skeletons for ℓ-u Groups and MV-Algebras.
Order, 2019

Observables on perfect MV-algebras.
Fuzzy Sets Syst., 2019

2018
Duality Theory and Skeleta for Semisimple MV-Algebras.
Stud Logica, 2018

Infinitary logic and basically disconnected compact Hausdorff spaces.
J. Log. Comput., 2018

On the Lattice of the Subvarieties of Monadic MV (C)-algebras.
FLAP, 2018

An analysis of the logic of Riesz spaces with strong unit.
Ann. Pure Appl. Log., 2018

2017
Preface.
Soft Comput., 2017

Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions.
Fuzzy Sets Syst., 2017

On semirings and MV-algebras.
Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

2016
Łukasiewicz Equivalent Neural Networks.
Proceedings of the Advances in Neural Networks - Computational Intelligence for ICT, 2016

Fuzzy Logic of Quasi-Truth: An Algebraic Treatment
Studies in Fuzziness and Soft Computing 338, Springer, ISBN: 978-3-319-30406-9, 2016

On free MV algebras and a problem of Tarski.
Math. Log. Q., 2016

Unifying fuzzy concept lattice construction methods.
Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

2015
Multimodal epistemic Łukasiewicz logics with application in immune system.
Soft Comput., 2015

On generalizing the Nullstellensatz for MV algebras.
J. Log. Comput., 2015

Gödel spaces and perfect MV-algebras.
J. Appl. Log., 2015

The semiring-theoretic approach to MV-algebras: A survey.
Fuzzy Sets Syst., 2015

2014
Łukasiewicz logic and Riesz spaces.
Soft Comput., 2014

Algebraic Geometry for MV-Algebras.
J. Symb. Log., 2014

2013
MV-semirings and their Sheaf Representations.
Order, 2013

Algebraically closed MV-algebras and their sheaf representation.
Ann. Pure Appl. Log., 2013

Adding Real Coefficients to Łukasiewicz Logic: An Application to Neural Networks.
Proceedings of the Fuzzy Logic and Applications - 10th International Workshop, 2013

Projectivity and unification in the varieties of locally finite monadic MV-algebras.
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Fuzzy Logic as a geometry.
Proceedings of the Joint IFSA World Congress and NAFIPS Annual Meeting, 2013

2012
On Vaught's Conjecture and finitely valued MV algebras.
Math. Log. Q., 2012

2011
Riesz MV-algebras and their logic.
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology, 2011

2010
A discrete representation of free MV-algebras.
Math. Log. Q., 2010

On varieties of MV-algebras with internal states.
Int. J. Approx. Reason., 2010

Erratum to "State-morphism MV-algebras" [Ann. Pure Appl. Logic 161 (2009) 161-173].
Ann. Pure Appl. Log., 2010

Representation of MV-algebras by regular ultrapowers of [0, 1].
Arch. Math. Log., 2010

Generating the Variety of SMV-Algebras.
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

2009
Commutative rings whose ideals form an MV-algebra.
Math. Log. Q., 2009

The category of MV-pairs.
Log. J. IGPL, 2009

State-morphism MV-algebras.
Ann. Pure Appl. Log., 2009

2008
Forcing in Lukasiewicz Predicate Logic.
Stud Logica, 2008

Abelian <i><i>l</i></i> -Groups with Strong Unit and Perfect MV-Algebras.
Order, 2008

Projective MV-algebras.
Int. J. Approx. Reason., 2008

Editing Configurations of P Systems.
Fundam. Informaticae, 2008

Approximation by pseudo-linear operators.
Fuzzy Sets Syst., 2008

2007
Simplicial structures in MV-algebras and logic.
J. Symb. Log., 2007

Lukasiewicz transform and its application to compression and reconstruction of digital images.
Inf. Sci., 2007

Algebraic analysis of fuzzy systems.
Fuzzy Sets Syst., 2007

Perfect <i>MV</i> -algebras and their Logic.
Appl. Categorical Struct., 2007

MV-Algebras with the Cantor-Bernstein Property.
Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007

The Logic of Perfect MV-algebras.
Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

2006
Fuzzy relational neural network.
Int. J. Approx. Reason., 2006

Lukasiewicz Transform Based Algorithm for Image Processing.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2006

Cantor-Bernstein Property for MV-Algebras.
Proceedings of the Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006

Symmetric MV-Algebras.
Proceedings of the Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006

2005
Finiteness based results in BL-algebras.
Soft Comput., 2005

Varieties of BL-algebras.
Soft Comput., 2005

Frames and MV-algebras.
Stud Logica, 2005

Neural Networks And Rational Mcnaughton Functions.
J. Multiple Valued Log. Soft Comput., 2005

Entropy on effect algebras with Riesz decomposition property II: MV-algebras.
Kybernetika, 2005

Entropy on effect algebras with the Riesz decomposition property I: Basic properties.
Kybernetika, 2005

Natural dualities for varieties of BL-algebras.
Arch. Math. Log., 2005

Image File Compression Using Region Growing and Interpolation.
Proceedings of the Neural Nets, 16th Italian Workshop on Neural Nets, 2005

Software Implementation of Fuzzy Controller with Conditionally Firing Rules, and Experimental Comparisons.
Proceedings of the Fuzzy Logic and Applications, 6th International Workshop, 2005

2004
Good and Bad Infinitesimals, and States on Pseudo MV-algebras.
Order, 2004

Partial Algebraic Conditional Spaces.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2004

Elementary calculus in Riesz MV-algebras.
Int. J. Approx. Reason., 2004

Pro-finite MV-spaces.
Discret. Math., 2004

On monadic <i>MV</i>-algebras.
Ann. Pure Appl. Log., 2004

On normal forms in Lukasiewicz logic.
Arch. Math. Log., 2004

2003
Online First publication.
Soft Comput., 2003

Projective <i>MV</i>-Algebras and Their Automorphism Groups.
J. Multiple Valued Log. Soft Comput., 2003

Which truth values in fuzzy logics are definable?
Int. J. Intell. Syst., 2003

Finite BL-algebras.
Discret. Math., 2003

Compact representations of BL-algebras.
Arch. Math. Log., 2003

Image File Compression Using Approximation and Fuzzy Logic.
Proceedings of the Fuzzy Logic and Applications, 5th International Workshop, 2003

Fuzzy Relational Neural Network for Data Analysis.
Proceedings of the Fuzzy Logic and Applications, 5th International Workshop, 2003

Mathematical Aspects of Fuzzy Control.
Proceedings of the Fuzzy Logic and Applications, 5th International Workshop, 2003

Formulas of Lukasiewicz's Logic Represented by Hyperplanes.
Proceedings of the Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30, 2003

2002
Equations and relations in soft computing: new trends and perspective.
Soft Comput., 2002

An Evolutionary Approach to Spatial Fuzzy c-Means Clustering.
Fuzzy Optim. Decis. Mak., 2002

MV-algebras in duality with labelled root systems.
Discret. Math., 2002

Subvarieties of BL-algebras generated by single-component chains.
Arch. Math. Log., 2002

The Variety Generated by Perfect BL-Algebras: an Algebraic Approach in a Fuzzy Logic Setting.
Ann. Math. Artif. Intell., 2002

Half true [half-negation operator].
Proceedings of the 2002 IEEE International Conference on Fuzzy Systems, 2002

2001
A discrete free MV-algebra over one generator.
J. Appl. Non Class. Logics, 2001

2000
Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions.
J. Log. Comput., 2000

Genetic-based spatial clustering.
Proceedings of the Ninth IEEE International Conference on Fuzzy Systems, 2000

1999
Perfect MV-algebras and l-rings.
J. Appl. Non Class. Logics, 1999

A Fuzzy Evolutionary Framework for Adaptive Agents.
Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Algebraic Methods in Foundation of Soft Computing.
Proceedings of the Third ICSC Symposia on Intelligent Industrial Automation (IIA'99) and Soft Computing (SOCO'99), 1999

Free MV-algebras.
Proceedings of the EUSFLAT-ESTYLF Joint Conference, 1999

1998
Finitely Generated Free MV-algebras and Their Automorphism Groups.
Stud Logica, 1998

Algebraic aspects of fuzzy logic (invited talk).
Proceedings of the 1998 ACM symposium on Applied Computing, 1998

1996
Yosida Type Representation for Perfect MV-Algebras.
Math. Log. Q., 1996

Non-Archimedean Models of Lukasiewicz Logic.
Proceedings of the 26th IEEE International Symposium on Multiple-Valued Logic, 1996

1995
Fuzzy relational structures: The state-of-art.
Fuzzy Sets Syst., 1995

Equations and relations on ordered structures: Mathematical aspects and applications.
Fuzzy Sets Syst., 1995

1994
Fuzzy Information in Knowledge Representation and Processing for Frame-Based Structures.
IEEE Trans. Syst. Man Cybern. Syst., 1994

Perfect MV-algebras are categorically equivalent to Abelian <i>l</i>-grups.
Stud Logica, 1994

The Prime Spectrum of an MV-Algebra.
Math. Log. Q., 1994

1993
Convergence of powers of reciprocal fuzzy matrices.
Inf. Sci., 1993

On reduction of transitive fuzzy matrices and its applications.
Int. J. Approx. Reason., 1993

1992
A study on approximate reasoning mechanisms via fuzzy relation equations.
Int. J. Approx. Reason., 1992

1991
Difference Fuzzy Relation Equations: Studies in Dynamical Systems.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

1990
Designing of classification procedures with the use of equality and difference operators.
Pattern Recognit., 1990

On some finite fuzzy relation equations.
Inf. Sci., 1990

Transitive Solutions of Relational Equations on Finite Sets and Linear Lattices.
Proceedings of the Uncertainty in Knowledge Bases, 1990

1989
An aspect of discrepancy in the implementation of modus ponens in the presence of fuzzy quantities.
Int. J. Approx. Reason., 1989

1986
Fuzzy Models of First Order Languages.
Math. Log. Q., 1986

1984
A relativization of the concept of synthesis in fuzzy set theory.
Inf. Sci., 1984

Some theoretical aspects of fuzzy-relation equations describing fuzzy systems.
Inf. Sci., 1984


  Loading...