scientific article; zbMATH DE number 1241671
From MaRDI portal
Publication:4225121
zbMath0926.03033MaRDI QIDQ4225121
Heinrich Wansing, Dov M. Gabbay
Publication date: 29 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Cut-elimination and normal-form theorems (03F05) Abstract deductive systems (03B22)
Related Items (2)
Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ On negation: Pure local rules
This page was built for publication:
