Proof search in Hájek's basic logic

Bova, Simone; Montagna, Franco

by Simone Bova, Franco Montagna

Reference:

Proof search in Hájek's basic logicSimone Bova, Franco MontagnaACM Trans. Comput. Log., volume 9, number 3, 2008.

Bibtex Entry:

@article{BovaMontagna08,
  author    = {Simone Bova and
               Franco Montagna},
  title     = {{Proof search in H{\'a}jek's basic logic}},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {9},
  number    = {3},
  year      = {2008}
}