Volume 18; Issue 2-3

1

Constructive negation, implication, and co-implication

Year:
2008
Language:
english
File:
PDF, 322 KB
english, 2008
2

IV. Semantic extensions of SQEMA

Year:
2008
Language:
english
File:
PDF, 321 KB
english, 2008
3

Decidability: theorems and admissible rules

Year:
2008
Language:
english
File:
PDF, 236 KB
english, 2008
4

Second-order logic on equivalence relations

Year:
2008
Language:
english
File:
PDF, 241 KB
english, 2008
5

Non-classical operations hidden in classical logic

Year:
2008
Language:
english
File:
PDF, 188 KB
english, 2008
6

Modal logic and invariance

Year:
2008
Language:
english
File:
PDF, 271 KB
english, 2008
7

Foreword

Year:
2008
Language:
english
File:
PDF, 85 KB
english, 2008
8

Towards incorporating background theories into quantifier elimination

Year:
2008
Language:
english
File:
PDF, 237 KB
english, 2008
9

Hyper arrow logic with indiscernibility and complementarity

Year:
2008
Language:
english
File:
PDF, 185 KB
english, 2008
10

A discrete duality between apartness algebras and apartness frames

Year:
2008
Language:
english
File:
PDF, 160 KB
english, 2008
11

Conditionalization and total knowledge

Year:
2008
Language:
english
File:
PDF, 231 KB
english, 2008
12

Complexity of intuitionistic propositional logic and its fragments

Year:
2008
Language:
english
File:
PDF, 285 KB
english, 2008
13

Editorial Board

Year:
2008
Language:
english
File:
PDF, 132 KB
english, 2008