A Proof-Theoretic Semantics for Exclusion. Francez, N. & Kaminski, M. Logica Universalis, 11(4):489-505, 2017. 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
{"_id":"uWHTsEJsqdZkDJaY3","bibbaseid":"francez-kaminski-aprooftheoreticsemanticsforexclusion-2017","downloads":0,"creationDate":"2018-02-26T16:25:30.606Z","title":"A Proof-Theoretic Semantics for Exclusion.","author_short":["Francez, N.","Kaminski, M."],"year":2017,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/kaminski?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2017-11-29T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Francez"],"firstnames":["Nissim"],"suffixes":[]},{"propositions":[],"lastnames":["Kaminski"],"firstnames":["Michael"],"suffixes":[]}],"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","bibtex":"@article{journals/lu/FrancezK17,\n added-at = {2017-11-29T00:00:00.000+0100},\n author = {Francez, Nissim and Kaminski, Michael},\n biburl = {http://www.bibsonomy.org/bibtex/231e9a8f7989a88f56db7b5d4c897797a/dblp},\n ee = {https://doi.org/10.1007/s11787-017-0179-y},\n interhash = {318bc152a6cb18fc1152fee77a82daee},\n intrahash = {31e9a8f7989a88f56db7b5d4c897797a},\n journal = {Logica Universalis},\n keywords = {dblp},\n number = 4,\n pages = {489-505},\n timestamp = {2017-12-07T18:17:48.000+0100},\n title = {A Proof-Theoretic Semantics for Exclusion.},\n url = {http://dblp.uni-trier.de/db/journals/lu/lu11.html#FrancezK17},\n volume = 11,\n year = 2017\n}\n\n","author_short":["Francez, N.","Kaminski, M."],"key":"journals/lu/FrancezK17","id":"journals/lu/FrancezK17","bibbaseid":"francez-kaminski-aprooftheoreticsemanticsforexclusion-2017","role":"author","urls":{"Link":"https://doi.org/10.1007/s11787-017-0179-y","Paper":"http://dblp.uni-trier.de/db/journals/lu/lu11.html#FrancezK17"},"keyword":["dblp"],"downloads":0},"search_terms":["proof","theoretic","semantics","exclusion","francez","kaminski"],"keywords":["dblp"],"authorIDs":[],"dataSources":["ePTwKNCLFT28DzR9b"]}