机译:无处不在的混合逻辑的证明理论功能完备性
Department of Computer Science Roskilde University;
Modal logic; hybrid logic; natural deduction; functional completeness;
机译:混合逻辑与经典逻辑对应的证明理论研究
机译:古典逻辑与模态逻辑对应的证明理论研究
机译:一类Kleene强的逻辑的偶然扩展,一个子类,通过Lukasiewicz的3值逻辑L3的预整来展示功能完整
机译:集合逻辑中的功能完备性和弱完备性
机译:基于NAF的逻辑语义:校样理论泛化和非地扩展
机译:well虫病菌中的多功能多糖利用基因簇编码酶以完全降解κ-角叉菜胶α-角叉菜胶和杂种β/κ-角叉菜胶
机译:关于功能完全三值逻辑的Słupecki公理系统