scientific article; zbMATH DE number 1292286
From MaRDI portal
Publication:4244294
zbMath0925.68098MaRDI QIDQ4244294
No author found.
Publication date: 27 May 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Logic programming (68N17) Metamathematics of constructive systems (03F50)
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