An alternative proof method for possibilistic logic and its application to terminological logics

Cite this paper

@article{Hollunder1994AnAP, title={An alternative proof method for possibilistic logic and its application to terminological logics}, author={Bernhard Hollunder}, journal={Int. J. Approx. Reasoning}, year={1994}, volume={12}, pages={85-109} }