...
机译:有限多值非确定性后果关系的树状证明系统
Univ Gdansk, Gdansk, Poland;
Non-deterministic logics; Proof systems; Many valued logics;
机译:Atriodic tree-like continua as inverse limits on 0,1 with interval-valued functions
机译:Tree-like continua and dendrites on set-valued inverse limits
机译:Data-driven valued dominance relation in incomplete ordered decision system
机译:pivotal和pivotal-discriminationiminative Consequence Relations