Article,

Axiomatization of the De Morgan type rules.

, and .
Stud Logica, 49 (3): 333-343 (1990)

Meta data

Tags

Users

  • @dblp

Comments and Reviews