• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>journal of logic and computation >A Free Variable Version of the First-Order Predicate Calculus
【24h】

A Free Variable Version of the First-Order Predicate Calculus

机译：A Free Variable Version of the First-Order Predicate Calculus

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相关主题

摘要

The first-order predicate calculus is developed as a free variable theory using Skolem functions to define the quantifiers. The equivalence to ordinary first-order logic is proved.

著录项

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号