scientific article
From MaRDI portal
Publication:2753259
zbMath0979.03010MaRDI QIDQ2753259
Arthur Buchsbaum, Tarcisio Pequeno
Publication date: 30 October 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
logical consequencededuction theorementailmentquantifiersmodalitiesmaterial implicationvarying objects
Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Abstract deductive systems (03B22)
Related Items (1)
This page was built for publication:
