A Proof-Theoretic Semantics for Exclusion. Francez, N. & Kaminski, M. Logica Universalis, 11(4):489-505, 2017.
A Proof-Theoretic Semantics for Exclusion. [link]Link  A Proof-Theoretic Semantics for Exclusion. [link]Paper  bibtex   
@article{journals/lu/FrancezK17,
  added-at = {2017-11-29T00:00:00.000+0100},
  author = {Francez, Nissim and Kaminski, Michael},
  biburl = {http://www.bibsonomy.org/bibtex/231e9a8f7989a88f56db7b5d4c897797a/dblp},
  ee = {https://doi.org/10.1007/s11787-017-0179-y},
  interhash = {318bc152a6cb18fc1152fee77a82daee},
  intrahash = {31e9a8f7989a88f56db7b5d4c897797a},
  journal = {Logica Universalis},
  keywords = {dblp},
  number = 4,
  pages = {489-505},
  timestamp = {2017-12-07T18:17:48.000+0100},
  title = {A Proof-Theoretic Semantics for Exclusion.},
  url = {http://dblp.uni-trier.de/db/journals/lu/lu11.html#FrancezK17},
  volume = 11,
  year = 2017
}

Downloads: 0