Update to 'A Survey of AbstractAlgebraic Logic'

J. M. FONT; R. JANSANA; D. PIGOZZI

首页> 外文期刊>Studia Logica >Update to 'A Survey of AbstractAlgebraic Logic'

【24h】

Update to 'A Survey of AbstractAlgebraic Logic'

机译：更新“抽象代数逻辑调查”

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

A definition and some inaccurate cross-references in the paper A Survey ofAbstract Algebraic Logic, which might confuse some readers, are clarified and corrected;a short discussion of the main one is included. We also update a dozen of bibliographicreferences.

机译：本文中的一个定义和一些不准确的交叉引用澄清和纠正了一些可能会混淆一些读者的起动代数逻辑的调查;包括对主要的讨论。我们还更新了十几个书目奖学行为。

著录项

来源
《Studia Logica》 |2009年第1期|共6页
作者
J. M. FONT; R. JANSANA; D. PIGOZZI;
展开▼
作者单位

Departament of Probability Logic and StatisticsFaculty of Mathematics University of Barcelona Gran Via de les Corts Catalanes 585 08007 Barcelona Spain;

Departament of Logic History and Philosophy of ScienceFaculty of Philosophy University of Barcelona Carrer Montalegre 6 08001 Barcelona Spain;

Department of MathematicsIowa State University Ames Iowa U.S.A;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类逻辑学（论理学）;
关键词
Algebraic logic; finitely algebraizable logic; abstract algebraic logic; quasivariety;

机译：代数逻辑;有限的代数逻辑;摘要代数逻辑;拟核;

相似文献

外文文献
中文文献
专利

1. Update to "A Survey of AbstractAlgebraic Logic" [J] . J. M. FONT, R. JANSANA, D. PIGOZZI Studia Logica . 2009,第1期

机译：更新“抽象代数逻辑调查”
2. Geophysics in the Surveys: GA: Update on geophysical survey progress/MRT: New $1.4 million Geoscience Initiative Programme/GSSA: Update on survey programmes/GSV: Stavely Project update [J] . Preview . 2016,第180期

机译：调查中的地球物理学：通用汽车公司：地球物理调查进展的最新信息/ MRT：140万美元的新地球科学倡议计划/ GSSA：测量计划的最新信息/ GSV：Stavely项目更新
3. Geophysics in the Surveys: GA: Update on geophysical survey progress/GSQ: New and upcoming data releases for north-west Queensland/MRT: New gravity data/GSSA: Gawler Craton Airborne Survey update/GSWA: Status of regional aerogravity surveys in Western Australia/GSV and GSNSW: Southeast Lachlan crustal seismic transect [J] . Roger Cant, Matthew Greenwood, Janelle Simpson Preview . 2018,第194期

机译：勘测中的地球物理学：GA：地球物理勘测进展/ GSQ：昆士兰西北部/ MRT的新数据和即将发布的数据：新重力数据/ GSSA：Gawler Craton航空勘测更新/ GSWA：西澳大利亚州区域重力测量的现状/ GSV和GSNSW：东南拉克兰地壳地震剖面
4. From Logic Programs Updates to Action Description Updates [C] . Jose Julio Alferes, Federico Banti, Antonio Brogi International Workshop on Computational Logic in Multi-Agent Systems . 2005

机译：从逻辑程序更新到操作说明更新
5. Updating a Survey for Measuring the Perceived Effectiveness of Mentoring Entrepreneurs [D] . Wu, Jiani 2018

机译：更新测量指导企业家的感知有效性的调查
6. Collecting and using reliable vaccination coverage survey estimates: Summary and recommendations from the Meeting to share lessons learnt from the roll-out of the updated WHO Vaccination Coverage Cluster Survey Reference Manual and to set an operational research agenda around vaccination coverage surveys Geneva 18–21 April 2017 [O] . M. Carolina Danovaro-Holliday, Emily Dansereau, Dale A. Rhoda, -1

机译：收集和使用可靠的疫苗接种覆盖率调查估计数：会议上分享总结和建议会议总结和建议是从推出更新的世卫组织疫苗接种覆盖率群集调查参考手册并围绕疫苗接种覆盖率调查制定运营研究议程中获得的 2017年4月18-21日
7. Figure 2: Overview of survey methodology: our four steps consists of the discovery of related studies (“Search Process”), the selection of relevant studies (“Study Selection”), the mapping process (“Classification”), and the update for papers published in 2019 (“Survey Update”). [O] . -1

机译：图2：调查方法概述：我们的四个步骤包括相关研究的发现（“搜索过程”），相关研究的选择（“学习选择”），映射过程（“分类”）和更新论文于2019年发布（“调查更新”）。

Update to 'A Survey of AbstractAlgebraic Logic'

摘要

著录项

相似文献

相关主题

期刊订阅