Works matching IS 00223611 AND DT 1996 AND VI 25 AND IP 5

Results: 7

Undecidability and intuitionistic incompleteness.

Published in:

Journal of Philosophical Logic, 1996, v. 25, n. 5, p. 559, doi. 10.1007/BF00257386

By:

McCarty, D.C.

Publication type:

Article

Towards a model theory of diagrams.

Published in:

Journal of Philosophical Logic, 1996, v. 25, n. 5, p. 463, doi. 10.1007/BF00257381

By:

Hammer, Eric;
Danner, Norman

Publication type:

Article

Valuational semantics of rule derivability.

Published in:

Journal of Philosophical Logic, 1996, v. 25, n. 5, p. 451, doi. 10.1007/BF00257380

By:

Humberstone, Lloyd

Publication type:

Article

Translating the hypergame paradox: Remarks on the set founded elements of a relation.

Published in:

Journal of Philosophical Logic, 1996, v. 25, n. 5, p. 545, doi. 10.1007/BF00257385

By:

Bernardi, Claudio;
D'Agostino, Giovanna

Publication type:

Article

Symmetry as a method of proof.

Published in:

Journal of Philosophical Logic, 1996, v. 25, n. 5, p. 523, doi. 10.1007/BF00257384

By:

Hammer, Eric

Publication type:

Article

Structured propositions and sentence structure.

Published in:

Journal of Philosophical Logic, 1996, v. 25, n. 5, p. 495, doi. 10.1007/BF00257383

By:

King, Jeffrey

Publication type:

Article

Should knowledge entail belief?

Published in:

Journal of Philosophical Logic, 1996, v. 25, n. 5, p. 483

By:

Halpern, Joseph Y.

Publication type:

Article