Publication:4713273
From MaRDI portal
zbMath0746.03020MaRDI QIDQ4713273
No author found.
Publication date: 25 June 1992
Related Items
A first order nonmonotonic extension of constructive logic, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Informational interpretation of substructural propositional logics, On extensions of intermediate logics by strong negation, Logic programming and knowledge representation---The A-Prolog perspective, An encompassing framework for paraconsistent logic programs, A logic programming system for nonmonotonic reasoning, Semantics-based nonmonotonic inference, Logic programming and reasoning with incomplete information