首页> 外文OA文献 >Open Futures in the Foundations of Propositional Logic

【2h】

Open Futures in the Foundations of Propositional Logic

机译：命题逻辑基础中的开放期货

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
James W. Garson;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic [J] . Kamide Norihiro Journal of logic and computation . 2017,第7期

机译：与一阶单声道ω-逻辑，命题线性时间时序逻辑，命题广义定义反射逻辑和命题不定式逻辑相关
2. Classical propositional logic and decidability of variables in intuitionistic propositional logic [J] . HajimeIshihara Logical Methods in Computer Science . 2014,第3期

机译：经典命题逻辑和直觉命题逻辑中变量的可判定性
3. A Unified Integrated Method for Evaluating Goodness of Propositions in Several Propositional Logic Systems and Its Applications [J] . WANG Guojun 电子学报：英文版 . 2012,第002期

机译：几种命题逻辑系统中命题优劣的统一集成方法及其应用
4. The Usability of Using Educational Game for Teaching Foundational Concept in Propositional Logic [C] . Daniel Aranda, Alden Towler, Ramyaa Ramyaa, International Conference on Advanced Learning Technologies . 2021

机译：在命题逻辑中使用教育游戏的可用性
5. ELEMENTS OF PHILOSOPHICAL GRAMMAR: CONCEPTUAL FOUNDATIONS OF WITTGENSTEIN'S METHOD (LANGUAGE-GAMES, GRAMMATICAL DESCRIPTION, GAME ANALOGY, PROPOSITIONS, THERAPY). [D] . BARNETT, WILLIAM EARL. 1986

机译：哲学语法要素：维特根斯坦方法的概念基础（语言游戏，语法描述，游戏类比，命题，治疗）。
6. Logic-based Remodeling of the Digital Anatomist Foundational Model [O] . Rainer Beck, Stefan Schulz 2003

机译：数字解剖学家基础模型的基于逻辑的重塑
7. Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality [O] . Belov, Anton, Marques-Silva, Joao 2012

机译：在命题逻辑中推广冗余：基础和命中设置二元性

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号