Gentzen-Type Methods for Bilattice Negation

Sorry, there's nothing here.

Cite this paper

@article{Kamide2005GentzenTypeMF, title={Gentzen-Type Methods for Bilattice Negation}, author={Norihiro Kamide}, journal={Studia Logica}, year={2005}, volume={80}, pages={265-289} }