Publication:4244294
From MaRDI portal
zbMath0925.68098MaRDI QIDQ4244294
No author found.
Publication date: 27 May 1999
03B70: Logic in computer science
68N17: Logic programming
03F50: Metamathematics of constructive systems
Related Items
Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, On extensions of intermediate logics by strong negation