Proof systems for probabilistic uncertain reasoning

E-ISSN： 1943-5886|63|3|1007-1039

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.63, Iss.3, 1998-09, pp. : 1007-1039

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

A PROBABILISTIC PROOF OF THE OPEN MAPPING THEOREM FOR ANALYTIC FUNCTIONS

Bulletin of the Australian Mathematical Society, Vol. 90, Iss. 1, 2014-08 ,pp. : 74-76

Cambridge University Press

Access to resources Recommend Favorite

Probabilistic and Interval Static Response Analysis of Truss Structures with Uncertain Parameters

By Gao Wei

International Journal for Computational Methods in Engineering Science and Mech, Vol. 9, Iss. 5, 2008-09 ,pp. : 260-269

Taylor & Francis Ltd

Access to resources Recommend Favorite

Attenuating oscillations in uncertain dynamic systems

By Balandin Dmitry Kogan Mark

Journal of Engineering Mathematics, Vol. 55, Iss. 1-4, 2006-08 ,pp. : 299-312

Springer Publishing Company

Access to resources Recommend Favorite

Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen

Bulletin of Symbolic Logic, Vol. 8, Iss. 2, 2002-06 ,pp. : 246-265

Cambridge University Press

Access to resources Recommend Favorite

The relative efficiency of propositional proof systems

The Journal of Symbolic Logic, Vol. 44, Iss. 1, 1979-03 ,pp. : 36-50

Cambridge University Press

Access to resources Recommend Favorite