Publication:4708921
From MaRDI portal
zbMath1013.03024MaRDI QIDQ4708921
Publication date: 20 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2424/24240233.htm
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
03C40: Interpolation, preservation, definability
Related Items