机译:直觉逻辑与古典逻辑的统计
Politechnika Opolska;
Computer Science Department Jagiellonian University;
prepositional logic; asymptotic density of tautologies; probabilistic methods in logic;
机译:经典和直觉命题逻辑的模态逻辑汞齐
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:结合直觉逻辑和经典逻辑的Kripke语义和证明系统
机译:直觉模态逻辑及其经典伴随逻辑的拓扑语义和双仿真
机译:整合经典和直觉数学(模态逻辑)
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:直觉主义与经典逻辑的统计
机译:从索引的Lax逻辑到直觉逻辑