Publication:4532205
From MaRDI portal
zbMath0997.03037MaRDI QIDQ4532205
Publication date: 13 November 2002
03B65: Logic of natural languages
03B10: Classical first-order logic
03C80: Logic with extra quantifiers and operators
Related Items
ON THE GENERAL INTERPRETATION OF FIRST-ORDER QUANTIFIERS, Computing scope dominance with upward monotone quantifiers