• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book chapter

Separator Method for Constructing Canonical Types of Formulas

P. 372-373.

We present a new method of nding the canonical types of formulas based on three-valued projection logic functions. The method is focused on separation of all tuples of values for variables into disjoint sets. For every such set we take its own simple canonical type that identi es this set. Combining the results for each set we obtain the required canonical type for a closed class.
 


In book

Edited by: J. Beziau, S. Ural, A. Buchsbaum et al. Istanbul: University of Istanbul, 2015.