Pure and Applied Mathematics Journal

Volume 6, Issue 2, April 2017

  • Clones of Self-Dual and Self-K-Al Functions in K-valued Logic

    M. A. Malkov

    Issue: Volume 6, Issue 2, April 2017
    Pages: 59-70
    Received: Feb. 17, 2017
    Accepted: Feb. 24, 2017
    Published: Mar. 10, 2017
    Downloads:
    Views:
    Abstract: We give a classification of dual functions, they are m-al functions. We call a function m-al with respect to an operator if the operator lives any function unchanged after m times of using the operator. And 2 ≤ m ≤ k. Functions with different m have very different properties. We give theoretical results for clones of self-dual (m = 2) and self- -al... Show More
  • Generalization of Kalmar’s Proof of Deducibility in Two Valued Propositional Logic into Many Valued Logic

    Chubaryan Anahit, Khamisyan Artur

    Issue: Volume 6, Issue 2, April 2017
    Pages: 71-75
    Received: Feb. 13, 2017
    Accepted: Mar. 15, 2017
    Published: Mar. 22, 2017
    Downloads:
    Views:
    Abstract: This paper focuses on the problem of constructing of some standard Hilbert style proof systems for any version of many valued propositional logic. The generalization of Kalmar’s proof of deducibility for two valued tautologies inside classical propositional logic gives us a possibility to suggest some method for defining of two types axiomatic syst... Show More
  • Shallow Water 1D Model for Pollution River Study

    Antoine Celestin Kengni Jotsa, Vincenzo Angelo Pennati, Antonio Di Guardo, Melissa Morselli

    Issue: Volume 6, Issue 2, April 2017
    Pages: 76-88
    Received: Feb. 25, 2017
    Accepted: Mar. 23, 2017
    Published: Apr. 15, 2017
    Downloads:
    Views:
    Abstract: In this paper a finite element 1D model for shallow water flows with distribution of chemical substances is presented. The deterministic model, based on unsteady flow and convection-diffusion-decay of the pollutants, allows for evaluating in any point of the space-time domain the concentration values of the chemical compounds. The numerical approac... Show More