A functional computation model for the duality of two-variable Lambda-Boolean functions

Guyer T., Mirasyedioglu S.

APPLIED MATHEMATICS AND COMPUTATION, cilt.182, sa.1, ss.879-887, 2006 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 182 Sayı: 1
  • Basım Tarihi: 2006
  • Doi Numarası: 10.1016/j.amc.2006.04.055
  • Dergi Adı: APPLIED MATHEMATICS AND COMPUTATION
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.879-887
  • Anahtar Kelimeler: Boolean functions, Lambda-Calculus, Lambda-Boolean functions, duality, prolog
  • Gazi Üniversitesi Adresli: Evet

Özet

This paper presents a new functional computation model for developing a class of two-variable Lambda-Boolean functions, and describes the properties of the duality principle on this model. With respect to this aim, some definitions and theorems which construct the model of the two-variable Lambda-Boolean functions are given. The simulation of the model is implemented in the programming language Prolog, and the whole code is given as an extended and revised version of the implementation in [S. Mirasyedioglu, T. Guyer, A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG, Appl. Math. Comput. 176 (1) (2006) 65-75]. (c) 2006 Elsevier Inc. All rights reserved.