Paper Info
Title
On elimination of quantifiers in some non-classical mathematical theories.
Abstract
Elimination of quantifiers is shown to fail dramatically for a group of well-known mathematical theories (classically enjoying the property) against a wide range of relevant logical backgrounds. Furthermore, it is suggested that only by moving to more extensional underlying logics can we get the property back.
Year
DOI
Venue
2018
10.1002/malq.201600078
MATHEMATICAL LOGIC QUARTERLY
Field
DocType
Volume
Discrete mathematics,Extensional definition,Mathematics,Calculus
Journal
64
Issue
ISSN
Citations 
3
0942-5616
0
PageRank 
References 
Authors
0.34
9
2
Name
Order
Citations
PageRank
guillermo badia155.53
Andrew Tedder200.68