Categorical Abstract Algebraic Logic: Algebraizable Institutions

George Voutsadakis

首页> 外文期刊>Applied categorical structures >Categorical Abstract Algebraic Logic: Algebraizable Institutions

【24h】

Categorical Abstract Algebraic Logic: Algebraizable Institutions

机译：分类抽象代数逻辑：可代数机构

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

The framework developed by Blok and Pigozzi for the algebraizability of deductive systems is extended to cover the algebraizability of multisignature logics with quantifiers. Institutions are used as the supporting structure in plasce of deductive systems. In particular, the concept of an algebraic institution and that of an algebraizable institution are made precise using the theory of monads from categorical algebra and the notion of equivalence of institutions introduced by Voutadakis. Several examples of algebraic and algebraizable institutions are provided.

机译：由Blok和Pigozzi开发的用于演绎系统的可代数性的框架已扩展到涵盖了带有量词的多重签名逻辑的可代数性。在演绎系统中，制度被用作支撑结构。尤其是，使用分类代数的单子理论和Voutadakis引入的机构对等概念来精确定义代数机构和可代数机构的概念。提供了代数和可代数机构的几个示例。

著录项

来源
《Applied categorical structures》 |2002年第6期|共38页
作者
George Voutsadakis;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数学;
关键词
algebraic logic; equivalent deductive systems; algebraizable logics; institutions; equivalent institutions; algebraic theories; monads; triples; adjunctions; algebraic institutions; equivalent categories; algebraizable institutions; equational logic; clone algebras; substitution algebras; first-order logic; cylindric algebras; polyadic algebras; diagram-based logics;

机译：代数逻辑;等价演绎系统;可代数逻辑;机构;等价机构;代数理论;单子;三元组;附加;代数机构;等价类别;可代数机构;等式逻辑;克隆代数;代换代数;一阶逻辑;圆柱代数多元代数;基于图的逻辑;

相似文献

外文文献
中文文献
专利

1. Categorical Abstract Algebraic Logic: Algebraizable Institutions [J] . George Voutsadakis Applied categorical structures . 2002,第6期

机译：分类抽象代数逻辑：可代数机构
2. Categorical Abstract Algebraic Logic: Algebraic Semantics for Institutions [J] . Voutsadakis G. Mathematical logic quarterly: MLQ . 2013,第3期

机译：分类抽象代数逻辑：机构的代数语义
3. Categorical Abstract Algebraic Logic: Behavioral π-Institutions [J] . George Voutsadakis Studia Logica . 2014,第3期

机译：分类抽象代数逻辑：行为π机构
4. Completing Categorical Algebras (Extended Abstract) [C] . Stephen L. Bloom, Zoltan Esik Fourth IFIP(International Federation for Information Processing) International Conference on Theoretical Computer Science - TCS 2006; International Federation for Information Processing(IFIP); 209; Sprin . 2006

机译：完成分类代数（扩展摘要）
5. Tracking changes in teaching and learning abstract algebra: Beliefs and ability to abstract. [D] . Hirsch, Jenna. 2008

机译：跟踪教学和学习抽象代数的变化：信念和抽象能力。
6. Statistics on microcomputers. A non-algebraic guide to the appropriate use of statistics packages in biomedical research and pathology laboratory practice. 5. Analysis of categorical data. [O] . R A Brown, J S Beck 1989

机译：微型计算机的统计信息。在生物医学研究和病理实验室实践中适当使用统计软件包的非代数指南。 5.分类数据分析。
7. Categorical Abstract Algebraic Logic: Truth-Equational π-Institutions [O] . George Voutsadakis 2015

机译：分类抽象代数逻辑：真实实践π-机构
8. Technical Report ON SOME CATEGORICAL ALGEBRA ASPECTS OF AUTOMATA THEORY: THE CATEGORICAL PROPERTIES OF TRANSITION SYSTEMS [R] . Yehoshafat Give'on 1966

机译：关于aUTOmaTa理论的一些类别代数方法的技术报告：转换系统的类别性质

Categorical Abstract Algebraic Logic: Algebraizable Institutions

摘要

著录项

相似文献

相关主题

期刊订阅