|
Journals in DBLP
- Silvio Ghilardi, Giancarlo Meloni
Constructive Canonicity in Non-Classical Logics. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1997, v:86, n:1, pp:1-32 [Journal]
- Dmitrij P. Skvortsov
Non-Axiomatizable Second Order Intuitionistic Propositional Logic. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1997, v:86, n:1, pp:33-46 [Journal]
- Frank Wolter
The Structure of Lattices of Subframe Logics. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1997, v:86, n:1, pp:47-100 [Journal]
|