18 research outputs found
The Class of All Natural Implicative Expansions of Kleeneâs Strong Logic Functionally Equivalent to Ćukasiewiczâs 3-Valued Logic Ć3
25 p.We consider the logics determined by the set of all natural implicative expansions of Kleeneâs strong 3-valued matrix (with both only one and two designated values) and select the class of all logics functionally equivalent to Ćukasiewiczâs 3-valued logic Ć3. The concept of a ânatural implicative matrixâ is based upon the notion of a ânatural conditionalâ defined in Tomova (Rep Math Log 47:173â182, 2012).S