Bivalent logics

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationFuture directions for logic
Subtitle of host publicationProceedings of PhDs in logic III
EditorsJonas De Vuyst, Lorenz Demey
PublisherCollege Publications
Pages25 - 33
Number of pages8
Publication statusPublished - 2012

Keywords

  • Sequent calculus
  • Cut redundancy
  • Paraconsistent logic
  • Partial logic

Cite this