Second-order languages and mathematical practice

Publisher： Cambridge University Press

E-ISSN： 1943-5886|50|3|714-742

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.50, Iss.3, 1985-09, pp. : 714-742

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

An interpretation of “finite” modal first-order languages in classical second-order languages

By  

The Journal of Symbolic Logic, Vol. 41, Iss. 2, 1976-06 ,pp. : 337-340

Cambridge University Press

Access to resources Recommend Favorite

Convergence Properties of a Smoothing Approach for Mathematical Programs with Second-Order Cone Complementarity Constraints

By Zhang Yi  

Set-Valued and Variational Analysis, Vol. 19, Iss. 4, 2011-12 ,pp. : 609-646

Springer Publishing Company

Access to resources Recommend Favorite

Vector Random Fields with Second-Order Moments or Second-Order Increments

By Ma Chunsheng  

Stochastic Analysis and Applications, Vol. 29, Iss. 2, 2011-03 ,pp. : 197-215

Taylor & Francis Ltd

Access to resources Recommend Favorite

Positive maps of second-order cones

By Hildebrand Roland  

Linear and Multilinear Algebra, Vol. 55, Iss. 6, 2007-11 ,pp. : 575-597

Taylor & Francis Ltd

Access to resources Recommend Favorite

A Second-Order Model for Image Denoising

By Bergounioux Maïtine  

Set-Valued and Variational Analysis, Vol. 18, Iss. 3-4, 2010-12 ,pp. : 277-306

Springer Publishing Company

Access to resources Recommend Favorite