Displaying similar documents to “Роль детерминизма в языках запросов для баз данных.”

Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2

Krystyna Mruczek-Nasieniewska, Marek Nasieniewski (2017)

Bulletin of the Section of Logic

Similarity:

In [1] J.-Y. Bèziau formulated a logic called Z. Bèziau’s idea was generalized independently in [6] and [7]. A family of logics to which Z belongs is denoted in [7] by K. In particular; it has been shown in [6] and [7] that there is a correspondence between normal modal logics and logics from the class K. Similar; but only partial results has been obtained also for regular logics (see [8] and [9]). In (Došen; [2]) a logic N has been investigated in the language with negation; implication;...