共 5 条
[1]
Ackermann W.(1956)Begründung einer strengen Implikation Journal of Symbolic Logic 21 113-128
[2]
Da Costa N.(1974)On the Theory of Inconsistent Formal Systems Notre Dame Journal of Formal Logic 15 497-501
[3]
Kripke S.(1959)A Completeness Theorem in Modal Logic Journal of Symbolic Logic 24 1-14
[4]
Lewis C. I.(1912)Implication and the Algebra of Logic Mind 21 552-531
[5]
Priest G.(1989)Reasoning about Truth Artificial Intelligence 39 231-244