• polski
    • English
  • English 
    • polski
    • English
  • Login
Search 
  •   DSpace Home
  • Czasopisma naukowe | Scientific Journals
  • Bulletin of the Section of Logic
  • Bulletin of the Section of Logic 47/4 (2018)
  • Search
  •   DSpace Home
  • Czasopisma naukowe | Scientific Journals
  • Bulletin of the Section of Logic
  • Bulletin of the Section of Logic 47/4 (2018)
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Discover

AuthorKawano, Tomoaki (1)Subject
cut-elimination theorem (1)
Decidability (1)Kripke Model (1)Quantum logic (1)Sequent calculus (1)... View MoreDate Issued2018 (1)Has File(s)Yes (1)

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-1 of 1

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

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 ...

University of Lodz Repository

Contact Us | Send Feedback | Accessibility
 

 


University of Lodz Repository

Contact Us | Send Feedback | Accessibility