The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete (bibtex)
by ,
Reference:
The consequence relation in the logic of commutative GBL-algebras is PSPACE-completeSimone Bova, Franco MontagnaTheor. Comput. Sci., volume 410, number 12-13, pages 1143–1158, 2009.
Bibtex Entry:
@article{BovaMontagna09,
  author    = {Simone Bova and
               Franco Montagna},
  title     = {The consequence relation in the logic of commutative GBL-algebras
               is {PSPACE}-complete},
  journal   = {Theor. Comput. Sci.},
  volume    = {410},
  number    = {12-13},
  pages     = {1143--1158},
  year      = {2009}
}
Powered by bibtexbrowser