%0 Journal Article %1 journals/sLogica/Suzuki93 %A Suzuki, Nobu-Yuki %D 1993 %J Stud Logica %K dblp %N 1 %P 73-94 %T Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica52.html#Suzuki93 %V 52

@article{journals/sLogica/Suzuki93, added-at = {2020-09-01T00:00:00.000+0200}, author = {Suzuki, Nobu-Yuki}, biburl = {https://www.bibsonomy.org/bibtex/2c4a6785057fea01ff409b108f46b0ab5/dblp}, ee = {https://doi.org/10.1007/BF01053065}, interhash = {1bc8515524a7ddc5f8b199697f76bc28}, intrahash = {c4a6785057fea01ff409b108f46b0ab5}, journal = {Stud Logica}, keywords = {dblp}, number = 1, pages = {73-94}, timestamp = {2020-09-09T12:37:37.000+0200}, title = {Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica52.html#Suzuki93}, volume = 52, year = 1993 }