Torben Braüner. Axioms for classical, intuitionistic, and paraconsistent hybrid logic. Journal of Logic, Language and Information, 15(3):179-194, 2006. [doi]
@article{Brauner06,
title = {Axioms for classical, intuitionistic, and paraconsistent hybrid logic},
author = {Torben Braüner},
year = {2006},
doi = {10.1007/s10849-006-9013-2},
url = {http://dx.doi.org/10.1007/s10849-006-9013-2},
tags = {logic},
researchr = {https://researchr.org/publication/Brauner06},
cites = {0},
citedby = {0},
journal = {Journal of Logic, Language and Information},
volume = {15},
number = {3},
pages = {179-194},
}