Separator Method for Constructing Canonical Types of Formulas

Olga Gerasimova; I. Makarov

?

Separator Method for Constructing Canonical Types of Formulas

P. 372–373.

Olga Gerasimova, Makarov I.

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 identies this set. Combining the results for each set we obtain the required canonical type for a closed class.

Language: English

Full text

Keywords: Many-valued logics Многозначные логики Separator Method Canonical type Канонический вид

In book

Handbook of the 5th World Congress and School on Universal Logic

Istanbul: University of Istanbul, 2015.

Game-theoretical interpretation of abelian logic A

Pavlova A., Logical Investigations 2019 Vol. 25 No. 2 P. 75–93

In the present paper we introduce a variation of Giles’s game that captures the semantics of Slaney and Meyer’s Abelian logic. This is a variation of the game earlier proposed for the Lukasiewicz infinitely-valued logic. We discuss two possible interpretations of this game. One of the interpretations involves a reference to different types of agents. We also give a ...

Added: September 20, 2019

Eastern Proto-Logics

Schang F., , in: New Directions in Paraconsistent Logic.: Springer, 2015. P. 529–552.

Added: June 14, 2016

Behavior of the Shannon Function for Some Families of Classes of Three-Valued Logic Functions

Dagaev D., Moscow University Mathematics Bulletin 2012 Vol. 67 No. 4 P. 182–184

Added: March 21, 2016

Franco Montagna’s Work on Provability Logic and Many-valued Logic

L. Beklemishev, Flaminio T., Studia Logica 2016 Vol. 104 No. 1 P. 1–46

Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic. ...

Added: March 13, 2016

Total Equivalence Systems for Classes of 3-valued Projection Logic whose Projections Equal to the Class of Linear Boolean Functions

Olga Gerasimova, Makarov I., , in: Proceedings of the 10th Panhelleic Logic Symposium.: Samos Island: University of Aegean, 2015. Ch. 23 P. 82–86.

We give a complete description of total equivalence systems (TES) for formulas based on closed classes of functions from the projection logic P3,2 with the property that the restrictions of its functions to the set {0,1} constitute a closed class of linear Boolean functions. For each such class, we find a total equivalence system, providing ...

Added: September 19, 2015

Existence of Finite Total Equivalence Systems for Certain Closed Classes of 3-Valued Logic Functions

Makarov I., Logica Universalis 2015 Vol. 9 No. 1 P. 1–26

The article deals with finding finite total equivalence systems for formulas based on an arbitrary closed class of functions of several variables defined on the set \{0, 1, 2\} and taking values in the set \{0,1\} with the property that the restrictions of its functions to the set \{0, 1\} constitutes a closed class of ...

Added: February 28, 2015

Two Ancient Dialectical Logics: saptbhangi and catuskoti

Schang F., Journal of Indian Council of Philosophical Research 2011 Vol. 27 No. 1 P. 47–76

A rational interpretation is proposed for two ancient Indian logics: the Jaina saptabhangi, and the Madhyamika catuskoti. It is argued that the irrationality currently imputed to these logics relies upon some philosophical preconceptions inherited from Aristotelian metaphysics. This misunderstanding can be corrected in two steps: by recalling their assumptions about truth; by reconstructing their ensuing ...

Added: November 4, 2014

MacColl's Modes of Modalities

Schang F., Philosophia Scientiae 2011 Vol. 15 No. 1 P. 149–188

Hugh MacColl is commonly seen as a pioneer of modal and many-valued logic, given his introduction of modalities that go beyond plain truth and falsehood. But a closer examination shows that such a legacy is debatable and should take into account the way in which these modalities proceeded. We argue that, while MacColl devised a ...

Added: October 31, 2014