首页> 外文OA文献 >Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets

【2h】

Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets

机译：古典逻辑施工的施工：Tableaux作为分支机构的组合，分支为套装链

代理获取

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

页面导航

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

著录项

作者
Tomasz Jarmużek;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions [J] . YANJUN LI Journal of logic and computation . 2018,第2期

机译：Tableaux用于将命题动态逻辑和认知逻辑与相互作用相结合
2. Pieri Rules for Classical Groups and Equinumeration between Generalized Oscillating Tableaux and Semistandard Tableaux [J] . Soichi Okada Electronic Journal Of Combinatorics . 2016,第4期

机译：古典振动平台和半标准平台之间的古典群和均衡的Pieri规则
3. Teaching Semantic Tableaux Method for Propositional Classical Logic with a CAS [J] . Gabriel Aguilera-Venegas, Jose Luis Galan-Garcia, Maria Angeles Galan-Garcia, The international journal for technology in mathematics education . 2015,第2期

机译：用CAS教授命题经典逻辑的语义表方法。
4. Design and results of the tableaux-99 non-classical (modal) systems comparison [C] . Fabio Massacci International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX'99 Saratoga Springs; NY,USA,June 7-11, 1999 . 1999

机译：tableaux-99非经典（模态）系统比较的设计和结果
5. Generalized Foulkes' conjecture and tableaux construction [D] . Vessenes, Rebecca. 2004

机译：广义Foulkes猜想和平台构造
6. Inhomogeneous basis set of symmetric polynomials defined by tableaux. [O] . L C Biedenharn, J D Louck 1990

机译：tableaux定义的对称多项式的不均匀基集。
7. National Accounts ESA Detailed tables by branches/Comptes Nationaux SEC Tableaux detailles par branches 1970-1994 [O] . 1996

机译：国民账户Esa分支机构的详细表格/ Comptes Nationaux sEC Tableaux详细信息分类1970-1994

Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets

著录项

引文网络

相似文献

相关主题

期刊订阅