BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Pietro Codara

Pietro Codara appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
Discrete Mathematicsmath.COLogic in Computer Sciencemath.LOMathematical SoftwareArtificial IntelligenceDatabasesmath.CT

Catalog footprint

What is connected

15works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2015arXiv

Generalized Fibonacci and Lucas cubes arising from powers of paths and cycles

The paper deals with some generalizations of Fibonacci and Lucas sequences, arising from powers of paths and cycles, respectively. In the first part of the work we provide a formula for the number of edges of the Hasse diagram of the independent sets of the h-th power of a path ordered by inclusion. For h=1 such a diagram is called a Fibonacci cube, and for h>1 we obtain a generalization of the Fibonacci cube. Consequently, we derive a generalized notion of Fibonacci sequence, called h-Fibonacci sequence. Then, we show that the number of edges of a generalized Fibonacci cube is obtained by convolution of an h-Fibonacci sequence with itself. In the second part we consider the case of cycles. We evaluate the number of edges of the Hasse diagram of the independent sets of the hth power of a cycle ordered by inclusion. For h=1 such a diagram is called Lucas cube, and for h>1 we obtain a generalization of the Lucas cube. We derive then a generalized version of the Lucas sequence, called h-Lucas sequence. Finally, we show that the number of edges of a generalized Lucas cube is obtained by an appropriate convolution of an h-Fibonacci sequence with an h-Lucas sequence.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Querying with Łukasiewicz logic

In this paper we present, by way of case studies, a proof of concept, based on a prototype working on a automotive data set, aimed at showing the potential usefulness of using formulas of Łukasiewicz propositional logic to query databases in a fuzzy way. Our approach distinguishes itself for its stress on the purely linguistic, contraposed with numeric, formulations of queries. Our queries are expressed in the pure language of logic, and when we use (integer) numbers, these stand for shortenings of formulas on the syntactic level, and serve as linguistic hedges on the semantic one. Our case-study queries aim first at showing that each numeric-threshold fuzzy query is simulated by a Łukasiewicz formula. Then they focus on the expressing power of Łukasiewicz logic which easily allows for updating queries by clauses and for modifying them through a potentially infinite variety of linguistic hedges implemented with a uniform syntactic mechanism. Finally we shall hint how, already at propositional level, Łukasiewicz natural semantics enjoys a degree of reflection, allowing to write syntactically simple queries that semantically work as meta-queries weighing the contribution of simpler ones.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Valuations in Nilpotent Minimum Logic

The Euler characteristic can be defined as a special kind of valuation on finite distributive lattices. This work begins with some brief consideration on the role of the Euler characteristic on NM algebras, the algebraic counterpart of Nilpotent Minimum logic. Then, we introduce a new valuation, a modified version of the Euler characteristic we call idempotent Euler characteristic. We show that the new valuation encodes information about the formulæ in NM propositional logic.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

An Analysis of Ruspini Partitions in Gödel Logic

By a Ruspini partition we mean a finite family of fuzzy sets $\{f_1, \ldots, f_n\}$, $f_i : [0,1] \to [0,1]$, such that $\sum_{i=1}^n f_i(x)=1$ for all $x \in [0,1]$, where $[0,1]$ denotes the real unit interval. We analyze such partitions in the language of Gödel logic. Our first main result identifies the precise degree to which the Ruspini condition is expressible in this language, and yields inter alia a constructive procedure to axiomatize a given Ruspini partition by a theory in Gödel logic. Our second main result extends this analysis to Ruspini partitions fulfilling the natural additional condition that each $f_i$ has at most one left and one right neighbour, meaning that $\min_{x \in [0,1]}{\{f_{i_1}(x),f_{i_2}(x),f_{i_3}(x)\}}=0$ holds for $i_1\neq i_2\neq i_3$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Valuations in Gödel Logic, and the Euler Characteristic

Using the lattice-theoretic version of the Euler characteristic introduced by V. Klee and G.-C. Rota in the Sixties, we define the Euler characteristic of a formula in Gödel logic (over finitely or infinitely many truth-values). We then prove that the information encoded by the Euler characteristic is classical, i.e. coincides with the analogous notion defined over Boolean logic. Building on this, we define many-valued versions of the Euler characteristic of a formula $φ$, and prove that they indeed provide information about the logical status of $φ$ in Gödel logic. Specifically, our first main result shows that the many-valued Euler characteristics are invariants that separate many-valued tautologies from non-tautologies. Further, we offer an initial investigation of the linear structure of these generalised characteristics. Our second main result is that the collection of many-valued characteristics forms a linearly independent set in the real vector space of all valuations of Gödel logic over finitely many propositional variables.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A Mathematica package to cope with partially ordered sets

Mathematica offers, by way of the package Combinatorics, many useful functions to work on graphs and ordered structures, but none of these functions was specific enough to meet the needs of our research group. Moreover, the existing functions are not always helpful when one has to work on new concepts. In this paper we present a package of features developed in Mathematica which we consider particularly useful for the study of certain categories of partially ordered sets. Among the features offered, the package includes: (1) some basic features to treat partially ordered sets; (2) the ability to enumerate, create, and display monotone and regular partitions of partially ordered sets; (3) the capability of constructing the lattices of partitions of a poset, and of doing some useful computations on these structures; (4) the possibility of computing products and coproducts in the category of partially ordered sets and monotone maps; (5) the possibility of computing products and coproducts in the category of forests (disjoint union of trees) and open maps (cf. [DM06] for the product between forests).

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A simple combinatorial interpretation of certain generalized Bell and Stirling numbers

In a series of papers, P. Blasiak et al. developed a wide-ranging generalization of Bell numbers (and of Stirling numbers of the second kind) that appears to be relevant to the so-called Boson normal ordering problem. They provided a recurrence and, more recently, also offered a (fairly complex) combinatorial interpretation of these numbers. We show that by restricting the numbers somewhat (but still widely generalizing Bell and Stirling numbers), one can supply a much more natural combinatorial interpretation. In fact, we offer two different such interpretations, one in terms of graph colourings and another one in terms of certain labelled Eulerian digraphs.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Building Bricks with Bricks, with Mathematica

In this work we solve a special case of the problem of building an n-dimensional parallelepiped using a given set of n-dimensional parallelepipeds. Consider the identity x^3 = x(x-1)(x-2)+3x(x-1+x). For sufficiently large x, we associate with x^3 a cube with edges of size x, with x(x-1)(x-2) a parallelepiped with edges x, x-1, x-2, with 3x(x-1+x) three parallelepipeds of edges x, x-1, 1, and with x a parallelepiped of edges x, 1, 1. The problem we takle is the actual construction of the cube using the given parallelepipeds. In [DDNP90] it was shown how to solve this specific problem and all similar instances in which a (monic) polynomial is expressed as a linear combination of a persistent basis. That is to say a sequence of polynomials q_0 = 1, and q_k(x) = q_{k-1}(x)(x-r_k) for k > 0. Here, after [Fil10], we deal with a multivariate version of the problem with respect to a basis of polynomials of the same degree (binomial basis). We show that it is possible to build the parallelepiped associated with a multivariate polynomial P(x_1, ..., x_n)=(x_1- s_1)...(x_n-s_n) with integer roots, using the parallelepipeds described by the elements of the basis. We provide an algorithm in Mathematica to solve the problem for each n. Moreover, for n = 2, 3, 4 (in the latter case, only when a projection is possible) we use Mathematica to display a step by step construction of the parallelepiped P(x1,...,x_n).

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Investigating independent subsets of graphs, with Mathematica

With this work we aim to show how Mathematica can be a useful tool to investigate properties of combinatorial structures. Specifically, we will face enumeration problems on independent subsets of powers of paths and cycles, trying to highlight the correspondence with other combinatorial objects with the same cardinality. Then we will study the structures obtained by ordering properly independent subsets of paths and cycles. We will approach some enumeration problems on the resulting partially ordered sets, putting in evidence the correspondences with structures known as Fibonacci and Lucas Cubes.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Partitions of a Finite Partially Ordered Set

In this paper, we investigate the notion of partition of a finite partially ordered set (poset, for short). We will define three different notions of partition of a poset, namely, monotone, regular, and open partition. For each of these notions we will find three equivalent definitions, that will be shown to be equivalent. We start by defining partitions of a poset in terms of fibres of some surjection having the poset as domain. We then obtain combinatorial characterisations of such notions in terms of blocks, without reference to surjection. Finally, we give a further, equivalent definition of each kind of partition by means of analogues of equivalence relations.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On the independent subsets of powers of paths and cycles

In the first part of this work we provide a formula for the number of edges of the Hasse diagram of the independent subsets of the h-th power of a path ordered by inclusion. For h=1 such a value is the number of edges of a Fibonacci cube. We show that, in general, the number of edges of the diagram is obtained by convolution of a Fibonacci-like sequence with itself. In the second part we consider the case of cycles. We evaluate the number of edges of the Hasse diagram of the independent subsets of the h-th power of a cycle ordered by inclusion. For h=1, and n>1, such a value is the number of edges of a Lucas cube.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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

Continuing to pursue a research direction that we already explored in connection with Gödel-Dummett logic and Ruspini partitions, we show here that Łukasiewicz logic is able to express the notion of pseudo-triangular basis of fuzzy sets, a mild weakening of the standard notion of triangular basis. En route to our main result we obtain an elementary, logic-independent characterisation of triangular bases of fuzzy sets.

0 citations0 reviewsNo code linkedOpen access