1

Journal of logic and computation

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

Journal of logic and computation

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

Quasi-varieties and initial semantics for hybridized institutions

E-Article
Access Favorite
4

Falsification, natural deduction and bi-intuitionistic logic

E-Article
Access Favorite
5

Relevant harmony

E-Article
Access Favorite
6

Universality in two dimensions

E-Article
Access Favorite
7

Fair decomposition of group obligations

E-Article
Access Favorite
8

ADC method of proof search for intuitionistic propositional natural deduction

E-Article
Access Favorite
9

A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel–McKinsey–Tarski embedding

E-Article
Access Favorite
10

Foreword

E-Article
Access Favorite
11

Realization using the model existence theorem

E-Article
Access Favorite
12

Polynomially parsable unification grammars

E-Article
Access Favorite
13

A formalization of argumentation schemes for legal case-based reasoning in ASPIC+

E-Article
Access Favorite
14

Deduction-detachment theorem in hidden k-logics

E-Article
Access Favorite
15

On matrices, Nmatrices and games

E-Article
Access Favorite
16

Logic on then-cube

E-Article
Access Favorite
17

Semantic investigation of canonical Gödel hypersequent systems

E-Article
Access Favorite
18

An Avron rule for fragments of R-mingle

E-Article
Access Favorite
19

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

E-Article
Access Favorite
20

Partial applicative theories and explicit substitutions

E-Article
Access Favorite

Refine my Results

Remove Filters
NOT Author / Corporation: Pigozzi, G.
Year of Publication