Received (received date) Revised (revised date) We propose and examine a simple notion of translation in first order logics to give a basis to similarity-based fuzzy logic.
An approach to fixed point theory based on the notion of fuzzy order is proposed. Such an approach extends both the fixed point theory in ordered sets and the fixed point theory in metric spaces. This since the fuzzy orders are strictly related with the quasi-metrics as defined by A. K. Seda in . The aim is to give new tools for logic programming and… (More)
A general approach to fixed point theory is proposed as a tool for logic programming. Such an approach extends both fixed point theory in ordered sets and fixed point theory in metric spaces. Fuzzy set theory is the natural framework of the paper. In particular, we use the notions of similarity and fuzzy order. 1. Introduction Fixed point theory for… (More)