Publication:2753259
From MaRDI portal
zbMath0979.03010MaRDI QIDQ2753259
Arthur Buchsbaum, Tarcisio Pequeno
Publication date: 30 October 2001
logical consequence; deduction theorem; entailment; quantifiers; modalities; material implication; varying objects
03B45: Modal logic (including the logic of norms)
03B10: Classical first-order logic
03B22: Abstract deductive systems
Related Items