Natural Deduction for Two Connexive Logics - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Nissim Francez. Natural Deduction for Two Connexive Logics. FLAP, 3(3):479-504, 2016. [doi]

@article{Francez16-1,
  title = {Natural Deduction for Two Connexive Logics},
  author = {Nissim Francez},
  year = {2016},
  url = {http://www.collegepublications.co.uk/downloads/ifcolog00007.pdf},
  researchr = {https://researchr.org/publication/Francez16-1},
  cites = {0},
  citedby = {0},
  journal = {FLAP},
  volume = {3},
  number = {3},
  pages = {479-504},
}

runs on WebDSL