TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
T1  - Characterization of non-monotone non-constructive systems
Y1  - 1998
SN  - 1012-2443
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
T1  - Signed systems for paraconsistent reasoning
Y1  - 1998
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
T1  - Signed systems for paraconsistent reasoning
Y1  - 1998
SN  - 0168-7433
ER  -