Logic Families

IF 0.6 3区数学 Q2 LOGIC

Studia Logica Pub Date : 2024-08-12 DOI:10.1007/s11225-024-10125-1

Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó Sain

引用次数: 0

Abstract

A logic family is a bunch of logics that belong together in some way. First-order logic is one of the examples. Logics organized into a structure occur in abstract model theory, institution theory and in algebraic logic. Logic families play a role in adopting methods for investigating sentential logics to first-order like logics. We thoroughly discuss the notion of logic families as defined in the recent Universal Algebraic Logic book.

查看原文本刊更多论文

逻辑家族

逻辑族是指在某种程度上属于同一逻辑的一组逻辑。一阶逻辑就是其中一个例子。在抽象模型理论、机构理论和代数逻辑中，都会出现组织成一个结构的逻辑。逻辑族在将研究有序逻辑的方法应用于类似一阶逻辑的方法中发挥着作用。我们将深入讨论最近出版的《通用代数逻辑》一书中定义的逻辑族概念。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Studia Logica MATHEMATICS-LOGIC

CiteScore

1.70

自引率

14.30%

发文量

审稿时长

6-12 weeks

期刊介绍： The leading idea of Lvov-Warsaw School of Logic, Philosophy and Mathematics was to investigate philosophical problems by means of rigorous methods of mathematics. Evidence of the great success the School experienced is the fact that it has become generally recognized as Polish Style Logic. Today Polish Style Logic is no longer exclusively a Polish speciality. It is represented by numerous logicians, mathematicians and philosophers from research centers all over the world.