Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: cut-elimination theorem

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

Labeled Sequent Calculus for Orthologic

100%

Kawano T.

Bulletin of the Section of Logic

2018

tom 47

nr 4

Orthologic (OL) is non-classical logic and has been studied as a part of quantumlogic. OL is based on an ortholattice and is also called minimal quantum logic. Sequent calculus is used as a tool for proof in logic and has been examinedfor several decades. Although there are many studies on sequent calculus forOL, these sequent calculi have some problems. In particular, they do not includeimplication connective and they are mostly incompatible with the cut-eliminationtheorem. In this paper, we introduce new labeled sequent calculus called LGOI, and show that this sequent calculus solve the above problems. It is alreadyknown that OL is decidable. We prove that decidability is preserved when theimplication connective is added to OL.

Ograniczanie wyników

1 Bulletin of the Section of Logic

1 Kawano T.

1 2018

Wyniki wyszukiwania

Labeled Sequent Calculus for Orthologic