A CORRECTION TO AN AXIOMATIZATION OF WANSING'S EXPANSION OF NELSON'S LOGIC.
- Published in:
- Reports on Mathematical Logic, 2016, n. 51, p. 133, doi. 10.4467/20842589RM.16.009.5286
- By:
- Publication type:
- Article
Works matching IS 01372904 AND DT 2016
Results: 9
1
2
THE QUASI-RELEVANT 3-VALUED LOGIC RM3 AND SOME OF ITS SUBLOGICS LACKING THE VARIABLE-SHARING PROPERTY.
- Published in:
- Reports on Mathematical Logic, 2016, n. 51, p. 105, doi. 10.4467/20842589RM.16.008.5285
- By:
- Publication type:
- Article
3
CATEGORICAL ABSTRACT ALGEBRAIC LOGIC WEAKLY REFERENTIAL π-INSTITUTIONS.
- Published in:
- Reports on Mathematical Logic, 2016, n. 51, p. 91, doi. 10.4467/20842589RM.16.007.5284
- By:
- Publication type:
- Article
4
TRUTH IN THE LIMIT.
- Published in:
- Reports on Mathematical Logic, 2016, n. 51, p. 75, doi. 10.4467/20842589RM.16.006.5283
- By:
- Publication type:
- Article
5
ON HOMOMORPHIC IMAGES AND THE FREE DISTRIBUTIVE LATTICE EXTENSION OF A DISTRIBUTIVE NEARLATTICE.
- Published in:
- Reports on Mathematical Logic, 2016, n. 51, p. 57, doi. 10.4467/20842589RM.16.005.5282
- By:
- Publication type:
- Article
6
UNIFYING SOME NOTIONS OF INFINITY IN ZC AND ZF.
- Published in:
- Reports on Mathematical Logic, 2016, n. 51, p. 43, doi. 10.4467/20842589RM.16.004.5281
- By:
- Publication type:
- Article
7
AN ALTERNATIVE INTUITIONISTIC VERSION OF MALLY'S DEONTIC LOGIC.
- Published in:
- Reports on Mathematical Logic, 2016, n. 51, p. 35, doi. 10.4467/20842589RM.16.003.5280
- By:
- Publication type:
- Article
8
INSTANTIATION OVERFLOW.
- Published in:
- Reports on Mathematical Logic, 2016, n. 51, p. 15, doi. 10.4467/20842589RM.16.002.5279
- By:
- Publication type:
- Article
9
DISCRIMINATOR VARIETIES OF DOUBLE-HEYTING ALGEBRAS.
- Published in:
- Reports on Mathematical Logic, 2016, n. 51, p. 3, doi. 10.4467/20842589RM.16.001.5278
- By:
- Publication type:
- Article