@conference {5625,
title = {Connecting systems of mathematical fuzzy logic with fuzzy concept lattices},
booktitle = {IPMU 2018},
volume = {2},
year = {2018},
pages = {275-286},
abstract = {In this paper our aim is to explore a new look at formal systems of fuzzy logics using the framework of (fuzzy) formal concept analysis (FCA). Let L be an extension of MTL complete with respect to a given L-chain. We investigate two possible approaches. The first one is to consider fuzzy formal contexts arising from L where attributes are identified with L-formulas and objects with L-evaluations: every L-evaluation (object) satisfies a formula (attribute) to a given degree, and vice-versa. The corresponding fuzzy concept lattices are shown to be isomorphic to quotients of the Lindenbaum algebra of L. The second one, following an idea in a previous paper by two of the authors for the particular case of Godel fuzzy logic, is to use a result by Ganter and Wille in order to interpret the (lattice reduct of the) Lindenbaum algebra of L-formulas as a (classical) concept lattice of a given context.}
}
@conference {55804,
title = {Querying with {\L}ukasiewicz logic},
booktitle = {Fuzzy Systems (FUZZ-IEEE), 2015 IEEE International Conference on},
year = {2015},
month = {Aug},
keywords = {Databases, query database, query processing, {\L}ukasiewicz natural semantics, {\L}ukasiewicz propositional logic},
doi = {10.1109/FUZZ-IEEE.2015.7338061},
author = {Stefano Aguzzoli and Pietro Codara and Diego Valota and Tommaso Flaminio and Brunella Gerla}
}
@conference {55803,
title = {Valuations in Nilpotent Minimum Logic},
booktitle = {2015 IEEE International Symposium on Multiple-Valued Logic},
year = {2015},
month = {May},
keywords = {Algebra, Boolean algebra, Euler characteristic, finite distributive lattices, formal logic, Fuzzy Logic, idempotent Euler characteristics, Lattices, Nilpotent Minimum logic, NM algebra, NM algebras, NM logic, NM propositional logic, NM- logic, valuation},
doi = {10.1109/ISMVL.2015.19},
author = {Pietro Codara and Diego Valota}
}