Volume 20; Issue 2

Journal of Logic and Computation

Volume 20; Issue 2
1

Paraconsistent Machines and their Relation to Quantum Computing

Agudelo, J. C., Carnielli, W.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 335 KB
english, 2010
2

The Logic of Quasi-MV Algebras

Bou, F., Paoli, F., Ledda, A., Spinks, M., Giuntini, R.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 286 KB
english, 2010
3

Relation Algebras by Games, by Robin Hirsch and Ian Hodkinson

Kikot, S.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 49 KB
english, 2010
4

A Proof System for Abstract Non-interference

Giacobazzi, R., Mastroeni, I.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 321 KB
english, 2010
6

Answer Set Programming with Resources

Costantini, S., Formisano, A.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 363 KB
english, 2010
7

Reliable Methods of Judgement Aggregation

Hartmann, S., Pigozzi, G., Sprenger, J.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 252 KB
english, 2010
8

On White's Expansion of Lukasiewicz Logic

Hajek, P.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 130 KB
english, 2010
9

A Nominal Axiomatization of the Lambda Calculus

Gabbay, M. J., Mathijssen, A.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 363 KB
english, 2010
10

Completeness and Cut-elimination in the Intuitionistic Theory of Types--Part 2

Hermant, O., Lipton, J.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 78 KB
english, 2010
11

The Complexity of the Warranted Formula Problem in Propositional Argumentation

Hirsch, R., Gorogiannis, N.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 238 KB
english, 2010