Can I read Bart Jacobs. Categorical logic and type theory. Studies in logic and the foundations of mathematics, vol. 141. Elsevier, Amsterdam etc. 1999, xvii + 760 pp. on EtoBox?

Bart Jacobs. Categorical logic and type theory. Studies in logic and the foundations of mathematics, vol. 141. Elsevier, Amsterdam etc. 1999, xvii + 760 pp. by R. A. G. Seely is a Computer Science article available to read on EtoBox.

What is Bart Jacobs. Categorical logic and type theory. Studies in logic and the foundations of mathematics, vol. 141. Elsevier, Amsterdam etc. 1999, xvii + 760 pp. about?

All use subject to JSTOR Terms and Conditions cfRS cannot contain all the true 112 sentences, although it is shown that there are probabilistic systems originating from t.e. probabilistic functions where FR', contains all true 12 sentences and that also, for any particular fixedfinite set of true 12 sentences, there are probabilistic systems originating from t.e. probabilistic functions with FR 's including all members of this finite set. These conclusions are particularly interesting when compared with results of Hajek from Experimental logics and nf theories, The journal of symbolic logic, vol. 42 no. 4 (for 1977, pub. 1978), pp. 515-522, where, within an alternate, non-probabilistic, formalization, it is shown that the h13 sets are exactly the weakly stable expressions of some experimental logic.Whilst these results are, perhaps, largely of interest to the specialist, a later section of the paper contains a result of wider significance viz-a-viz theory evolution and the ultimate convergence to truth. Namely, for any l (n n 1) probabilistic system and any k there exists a true 11n+l sentence qp such that -'S( (, 1/2-k). With some additional assumptions (which force n > 2), IHn+l

Who reads Bart Jacobs. Categorical logic and type theory. Studies in logic and the foundations of mathematics, vol. 141. Elsevier, Amsterdam etc. 1999, xvii + 760 pp.?

Author

R. A. G. Seely

Publisher

Cambridge University Press (CUP)

Published

2000

Language

EN

Field

Computer Science (Physical Sciences)