机译:一族元推理逻辑
IIF-SADAF, Consejo Nacional de Investigaciones Cientificas y Tecnicas, Buenos Aires, Argentina;
Logic; metainferences; metainferential validity; substructural logics; empty logics;
机译:metainferential二元性
机译:受雇的家庭护理人员在卫生保健中:从护理逻辑到和解逻辑
机译:HTS SFQ逻辑系列的逻辑运算
机译:使用无二极管绝热逻辑的算术逻辑单元和绝热逻辑系列的选择单元
机译:IDPAL-绝热节能逻辑家族:安全计算的理论与应用。
机译:设计实验以区分逻辑模型族
机译:metainferential二元性