Przeglądaj Bulletin of the Section of Logic 47/4 (2018) według tematu "Kripke Model"

Wyświetlanie pozycji 1-1 z 1

    • Labeled Sequent Calculus for Orthologic 

      Kawano, Tomoaki (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      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 ...