1

Journal of logic and computation

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

Quasi-varieties and initial semantics for hybridized institutions

E-Article
3

Falsification, natural deduction and bi-intuitionistic logic

E-Article
4

Relevant harmony

E-Article
5

Universality in two dimensions

E-Article
6

Fair decomposition of group obligations

E-Article
7
8
9

Foreword

E-Article
10

Realization using the model existence theorem

E-Article
11

Polynomially parsable unification grammars

E-Article
12
13

Deduction-detachment theorem in hidden k-logics

E-Article
14

On matrices, Nmatrices and games

E-Article
15

Logic on then-cube

E-Article
16

Semantic investigation of canonical Gödel hypersequent systems

E-Article
17

An Avron rule for fragments of R-mingle

E-Article
18

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

E-Article
19

Partial applicative theories and explicit substitutions

E-Article
20