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
Abstract. The only C*-algebras that admit elimination of quantifiers in con-tinuous logic are C,C2, ...
A significant part of quantum theory can be obtained by postulating a single conceptual innovation r...
A recognizable topological model construction shows that any consistent principles of classical set ...
Abstract. We show methods to construct, and give examples of, consistent intuitionistic theories tha...
International audienceWe firstly show that the standard interpretation of natural quantification in ...
AbstractWe exploit quantifier elimination in the global design of combined decision and semi-decisio...
In this paper we study possibilities of interpolation and symbol eliminationin extensions of a theor...
Some philosophers have argued that the open-endedness of the set concept has revisionary consequence...
Timothy Williamson has recently argued that the applicability of classical mathematics in the natura...
It is well known that quantifier elimination plays a relevant role in proving decidability of theori...
Abstract. A number of classical theories are interpreted in analogous theories that are based on int...
International audienceWhereas logic was traditionally regarded as a critical tool for the foundation...
An algorithm is presented which eliminates second-order quantifiers over predicate variables in form...
In this chapter, by ‘logic’ we mean Logica Magna (Great Logic), involving higher-order systems and s...
Despite of an active work of many researchers in the theory of quantum computations, this area still...
Abstract. The only C*-algebras that admit elimination of quantifiers in con-tinuous logic are C,C2, ...
A significant part of quantum theory can be obtained by postulating a single conceptual innovation r...
A recognizable topological model construction shows that any consistent principles of classical set ...
Abstract. We show methods to construct, and give examples of, consistent intuitionistic theories tha...
International audienceWe firstly show that the standard interpretation of natural quantification in ...
AbstractWe exploit quantifier elimination in the global design of combined decision and semi-decisio...
In this paper we study possibilities of interpolation and symbol eliminationin extensions of a theor...
Some philosophers have argued that the open-endedness of the set concept has revisionary consequence...
Timothy Williamson has recently argued that the applicability of classical mathematics in the natura...
It is well known that quantifier elimination plays a relevant role in proving decidability of theori...
Abstract. A number of classical theories are interpreted in analogous theories that are based on int...
International audienceWhereas logic was traditionally regarded as a critical tool for the foundation...
An algorithm is presented which eliminates second-order quantifiers over predicate variables in form...
In this chapter, by ‘logic’ we mean Logica Magna (Great Logic), involving higher-order systems and s...
Despite of an active work of many researchers in the theory of quantum computations, this area still...
Abstract. The only C*-algebras that admit elimination of quantifiers in con-tinuous logic are C,C2, ...
A significant part of quantum theory can be obtained by postulating a single conceptual innovation r...
A recognizable topological model construction shows that any consistent principles of classical set ...
DOI
Add to ORKG