Volume 21; Issue 4

Journal of Logic and Computation

Volume 21; Issue 4
1

A Topological Study of the Closed Fragment of GLP

Icard, T.
Journal:
Journal of Logic and Computation
Year:
2011
Language:
english
File:
PDF, 178 KB
english, 2011
2

Proof and Computation

Adian, S., Beklemishev, L., Visser, A.
Journal:
Journal of Logic and Computation
Year:
2011
File:
PDF, 24 KB
2011
3

On Two Attempts of Describing Propositional Realizability Logic

Plisko, V.
Journal:
Journal of Logic and Computation
Year:
2011
Language:
english
File:
PDF, 242 KB
english, 2011
4

Arithmetical Completeness of the Intuitionistic Logic of Proofs

Dashkov, E.
Journal:
Journal of Logic and Computation
Year:
2011
Language:
english
File:
PDF, 215 KB
english, 2011
5

Eskolemization in Intuitionistic Logic

Baaz, M., Iemhoff, R.
Journal:
Journal of Logic and Computation
Year:
2011
Language:
english
File:
PDF, 144 KB
english, 2011
6

Intuitionistic Dual-intuitionistic Nets

Laurent, O.
Journal:
Journal of Logic and Computation
Year:
2011
Language:
english
File:
PDF, 588 KB
english, 2011