Studia Logica · 2009 · 15 citations · 31 references
HumanitiesComputer ScienceKnowledge RepresentationLogicDescription LogicsMathematical LogicPredicate LogicTemporal LogicAlgebraic LogicAlgebraic Semantics
31
On the theory of inconsistent formal systems.
Newton C. A. da Costa · Notre Dame Journal of Formal Logic · 1974 · 739 citations · Full text
David Nelson · Journal of Symbolic Logic · 1949 · 418 citations
W. J. Blok, Don Pigozzi · Memoirs of the American Mathematical Society · 1989 · 371 citations