Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified by Research Category •

An extended framework for specifying and reasoning about proof systems

Vivek Nigam, Elaine Pimentel, and Giselle Reis. An extended framework for specifying and reasoning about proof systems. J. Log. Comput., 26(2):539–576, 2016. Special issue in honor of Roy Dyckhoff.
The on-line tool, called TATU, implementing the techniques described in the paper can be found here

Download

[PDF] [gzipped postscript] [postscript] [HTML] 

Abstract

(unavailable)

@article{nigam15jlc,
   author    = {Vivek Nigam and
               Elaine Pimentel and
               Giselle Reis},
  title     = {An extended framework for specifying and reasoning about proof systems},
  journal   = {J. Log. Comput.},
  volume    = {26},
  number    = {2},
  pages     = {539--576},
  year      = {2016},
  url       = {http://dx.doi.org/10.1093/logcom/exu029},
  doi       = {10.1093/logcom/exu029},  
   note      = {Special issue in  honor of Roy Dyckhoff.},
   bib2html_pubtype = {Journal},
   bib2html_rescat = {Logical Frameworks},
   wwwnote = "The on-line tool, called TATU, implementing the techniques described in the paper can be found <a href=http://www.logic.at/people/giselle/tatu/>here</a>",
   bib2html_dl_pdf = "/docs/modal-sellf.pdf"
 }

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57