On a multilattice analogue of a hypersequent S5 calculus

In this paper, we present a logic MMLS5n which is a combination of multilattice logic and modal logic S5. MMLS5n is an extension of Kamide and Shramko’s modal multilattice logic which is a multilattice analogue of S4. We present a cut-free hypersequent calculus for MMLS5n in the spirit of Restall’s one for S5 and develop a Kripke semantics for MMLS5n, following Kamide and Shramko’s approach. Moreover, we prove theorems for embedding MMLS5n into S5 and vice versa. As a result, we obtain completeness, cut elimination, decidability, and interpolation theorems for MMLS5n. Besides, we show the duality principle for MMLS5n. Additionally, we introduce a modification of Kamide and Shramko’s sequent calculus for their multilattice version of S4 which (in contrast to Kamide and Shramko’s original one) proves the interdefinability of necessity and possibility operators. Last, but not least, we present Hilbert-style calculi for all the logics in question as well as for a larger class of modal multilattice logics

Basic Four-Valued Systems of Cyclic Negations

We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantics as an operation which acts like a cycling negation. We define two variants of logical matrices performing different orders over the set of truth values. Purely formal logical result of our study consists in axiomatizing the logics of defined matrices as the systems of binary consequence relation and proving correctness and completeness theorems for these deductive systems

Foundations of Quantum Theory: From Classical Concepts to Operator Algebras

Quantum physics; Mathematical physics; Matrix theory; Algebr