Abstract In this research, fuzzy linear regression (FLR) method combined with three well-known implications was implemented for evaluating the relation among amount of fly ash in concrete mixture and compressive strength concrete. More specifically, 267 experimental data 40 which were used testing validation process subjected to FLR calculating truth values, indicated degree how outputs belong ...

In [8] (1920), Lukasiewicz introduced a 3-valued propositional calculus with one designated truth-value and later in [9], Lukasiewicz and Tarski generalized it to an m-valued propositional calculus (where m is a natural number or ^ 0 ) with one designated truth-value. For the original 3-valued propositional calculus, an axiomatization was given by Wajsberg [16] (1931). In a case of m Φ ^0> Ross...

In the present paper, a partial order on a non- Archimedean fuzzymetric space under the  Lukasiewicz t-norm is introduced and fixed point theoremsfor single and multivalued mappings are proved.

are presented in the context of their applications to complex genetic network dynamics, highly complex systems, quantum automata [2]–[3] and quantum supercomputers. Our novel approach to the Categorical Ontology Theory of Levels impacts on Medical Bioinformatics and self-organizing, Highly-Complex Systems (HCS), such as living organisms and artificial intelligent systems (AIs). Quantum Automata...

Various types of semantics games for deductive fuzzy logics, most prominently for Lukasiewicz logic, have been proposed in the literature. These games deviate from Hintikka’s original game for evaluating classical first-order formulas by either introducing an explicit reference to a truth value from the unit interval at each game state (as in [4]) or by generalizing to multisets of formulas to ...

In this paper I consider an interpretation of future contingents which motivates a uniication of a Lukiasiewicz-style logic, and the more classical, supervaluational semantics. This in turn motivates a new non-classical logic modelling what is \made true by history up until now". I give a simple Hilbert-style proof theory, and a soundness and completeness argument for the proof theory with resp...

Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying \x is true" and satisfying the \dequotation schema" ' Tr(') for all sentences '? This problem is investigated in the frame of Lukasiewicz innnitely valued logic.

In this paper we prove algebraic equivalents of the conservative extension theorems of Lukasiewicz propositional logic to rational Pavelka propositional logic. The results concerns the conservative extension and the very conservative extension of MV-algebras to Pavelka algebras.

We define (k, )-restricted Lukasiewicz paths, k ≤ ∈ N0, and use these paths as models of polymer adsorption. We write down a polynomial expression satisfied by the generating function for arbitrary values of (k, ). The resulting polynomial is of degree +1 and hence cannot be solved explicitly for sufficiently large . We provide two different approaches to obtain the phase diagram. In addition t...