Semantic Trees for Dummett's Logic LC. Corst, G. Studia Logica: An International Journal for Symbolic Logic, 45(2):199-206, Springer, 1986. bibtex @article{10.2307/20015259,
_bla_ISSN = {00393215, 15728730},
author = {Giovanna Corst},
journal = {Studia Logica: An International Journal for Symbolic Logic},
number = {2},
pages = {199-206},
publisher = {Springer},
title = {Semantic Trees for {Dummett's} Logic {LC}},
volume = {45},
year = {1986}
}
Downloads: 0
{"_id":"pANDnhkr9KyiC74ix","bibbaseid":"corst-semantictreesfordummettslogiclc-1986","authorIDs":[],"author_short":["Corst, G."],"bibdata":{"bibtype":"article","type":"article","_bla_issn":"00393215, 15728730","author":[{"firstnames":["Giovanna"],"propositions":[],"lastnames":["Corst"],"suffixes":[]}],"journal":"Studia Logica: An International Journal for Symbolic Logic","number":"2","pages":"199-206","publisher":"Springer","title":"Semantic Trees for Dummett's Logic LC","volume":"45","year":"1986","bibtex":"@article{10.2307/20015259,\n\t\t _bla_ISSN = {00393215, 15728730},\n\t\t author = {Giovanna Corst},\n\t\t journal = {Studia Logica: An International Journal for Symbolic Logic},\n\t\t number = {2},\n\t\t\t pages = {199-206},\n\t\t\t publisher = {Springer},\n\t\t\t title = {Semantic Trees for {Dummett's} Logic {LC}},\n\t\t\t volume = {45},\n\t\t\t\t year = {1986}\n}\n\n\n\n","author_short":["Corst, G."],"key":"10.2307/20015259","id":"10.2307/20015259","bibbaseid":"corst-semantictreesfordummettslogiclc-1986","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.856Z","downloads":0,"keywords":[],"search_terms":["semantic","trees","dummett","logic","corst"],"title":"Semantic Trees for Dummett's Logic LC","year":1986,"dataSources":["ChWnbF8EqSa8nccMs"]}