Publication:4364502
From MaRDI portal
zbMath0884.03024MaRDI QIDQ4364502
Paulo A. S. Veloso, Walter Alexandre Carnielli
Publication date: 1 April 1998
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
03C80: Logic with extra quantifiers and operators
Related Items