dblp.uni-trier.dewww.uni-trier.de

DBLP Record 'journals/jsyml/HajekPS00a'

BibTeX

@article{DBLP:journals/jsyml/HajekPS00a,
  author    = {Petr H{\'a}jek and
               Jeff B. Paris and
               John C. Shepherdson},
  title     = {Rational Pavelka Predicate Logic Is A Conservative Extension
               of Lukasiewicz Predicate Logic},
  journal   = {J. Symb. Log.},
  volume    = {65},
  number    = {2},
  year      = {2000},
  pages     = {669-682},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Copyright © 2003-12-22 by Michael Ley (ley@uni-trier.de)