A Kripke Semantics for the Logic of Gelfand Quantales. Allwein, G. & MacCaull, W. Studia Logica (SLOGICA), 68(2):173-228, 2001.
Paper bibtex @article{ dblp3599580,
title = {A Kripke Semantics for the Logic of Gelfand Quantales},
author = {Gerard Allwein and Wendy MacCaull},
author_short = {Allwein, G. and MacCaull, W.},
bibtype = {article},
type = {article},
year = {2001},
key = {dblp3599580},
id = {dblp3599580},
biburl = {http://www.dblp.org/rec/bibtex/journals/sLogica/AllweinM01},
url = {http://dx.doi.org/10.1023/A:1012495106338},
journal = {Studia Logica (SLOGICA)},
pages = {173-228},
number = {2},
volume = {68},
text = {Studia Logica (SLOGICA) 68(2):173-228 (2001)}
}
Downloads: 0
{"_id":{"_str":"5254344e22ea65a142000446"},"__v":2,"authorIDs":[],"author_short":["Allwein, G.","MacCaull, W."],"bibbaseid":"allwein-maccaull-akripkesemanticsforthelogicofgelfandquantales-2001","bibdata":{"downloads":0,"urls":{"Paper":"http://dx.doi.org/10.1023/A:1012495106338"},"role":"author","bibbaseid":"allwein-maccaull-akripkesemanticsforthelogicofgelfandquantales-2001","bibtex":"@article{ dblp3599580,\n title = {A Kripke Semantics for the Logic of Gelfand Quantales},\n author = {Gerard Allwein and Wendy MacCaull},\n author_short = {Allwein, G. and MacCaull, W.},\n bibtype = {article},\n type = {article},\n year = {2001},\n key = {dblp3599580},\n id = {dblp3599580},\n biburl = {http://www.dblp.org/rec/bibtex/journals/sLogica/AllweinM01},\n url = {http://dx.doi.org/10.1023/A:1012495106338},\n journal = {Studia Logica (SLOGICA)},\n pages = {173-228},\n number = {2},\n volume = {68},\n text = {Studia Logica (SLOGICA) 68(2):173-228 (2001)}\n}","text":"Studia Logica (SLOGICA) 68(2):173-228 (2001)","volume":"68","number":"2","pages":"173-228","journal":"Studia Logica (SLOGICA)","url":"http://dx.doi.org/10.1023/A:1012495106338","biburl":"http://www.dblp.org/rec/bibtex/journals/sLogica/AllweinM01","id":"dblp3599580","key":"dblp3599580","year":"2001","type":"article","bibtype":"article","author_short":["Allwein, G.","MacCaull, W."],"author":["Gerard Allwein","Wendy MacCaull"],"title":"A Kripke Semantics for the Logic of Gelfand Quantales"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/sLogica/AllweinM01","downloads":0,"keywords":[],"search_terms":["kripke","semantics","logic","gelfand","quantales","allwein","maccaull"],"title":"A Kripke Semantics for the Logic of Gelfand Quantales","year":2001,"dataSources":["s2RrrrSXC76GQWLfR"]}