1

Journal of logic and computation

Eynsham, Oxford: Oxford Univ. Press, 1990-
1.1990/91 -
Journal
2

Journal of logic and computation

Eynsham, Oxford: Oxford Univ. Press, 1990-
1.1990/91 -
Electronic Journal
3

Quasi-varieties and initial semantics for hybridized institutions

E-Article
4

Falsification, natural deduction and bi-intuitionistic logic

E-Article
5

Relevant harmony

E-Article
6

Universality in two dimensions

E-Article
7

Fair decomposition of group obligations

E-Article
8
9
10

Foreword

E-Article
11

Realization using the model existence theorem

E-Article
12

Polynomially parsable unification grammars

E-Article
13
14

Deduction-detachment theorem in hidden k-logics

E-Article
15

On matrices, Nmatrices and games

E-Article
16

Logic on then-cube

E-Article
17

Semantic investigation of canonical Gödel hypersequent systems

E-Article
18

An Avron rule for fragments of R-mingle

E-Article
19

On the very weak 0-1 law for random graphs with orders

E-Article
20

Partial applicative theories and explicit substitutions

E-Article