机译:用于一阶Lukasiewicz逻辑的Herbrand定理,Skolemization和证明系统
Institute of Discrete Mathematics and Geometry, Technical University Vienna, Wiedner Hauptstrasse 8-10, A-1040 Wien, Austria;
Department of Mathematics, Vanderbilt University 1326 Stevenson Center, Nashville TN 37240, USA;
herbrand theorem; skolemization; lukasiewicz logic; proof theory;
机译:格子值逻辑的SkoLemization和Herbrand定理
机译:关于经典一阶逻辑的自然推论:Curry-Howard对应,强归一化和Herbrand定理
机译:通过简化为一阶单分类逻辑,简单证明二阶古典和直觉逻辑的完备性定理
机译:Prenex模糊逻辑的Herbrand定理和Skolemization
机译:Lukasiewicz逻辑阵列的优化和信息理论分析
机译:强传递系统递归定理的证明
机译:Herbrand定理,skolemization和一阶̷Lukasiewicz逻辑的证明系统