Algebraization of quantifier logics, an introductory overview-Reference-Cited by-同舟云学术

Algebraization of quantifier logics, an introductory overview

Published:1991 Issue:3-4 Volume:50 Page:485-569
ISSN:0039-3215
Container-title:Studia Logica
language:en
Short-container-title:Stud Logica

Author:

N�meti Istv�n

Publisher

Springer Science and Business Media LLC

Subject

History and Philosophy of Science,Logic

Link

http://link.springer.com/content/pdf/10.1007/BF00370684.pdf

Reference289 articles.

1. Adamek,J. Herrlich,H. and Strecker,G., Abstract and concrete categories, or the joy of cats, John Wiley and Sons (1990).

2. Andr�ka,H., Algebraic investigation of first-order logic (in Hungarian), Dissertation with E�tv�s Lor�nd Univ. Budapest (1973), ix+162 pp.

3. Andr�ka,H., Universal Algebraic Logic (in Hungarian), Dissertation with Hung. Acad. Sci. Budapest (1977), 199 pp.

4. Andr�ka,H., On the union ? relation composition reducts of relation algebras, Abstracts of Amer. Math. Soc. Issue 62 Vol 10,2 (March 1989), p.174 (*89T-08-21).

5. Andr�ka,H., On the representation problem of distributive semilattice-ordered semigroups. (Extended version), Preprint, Math. Inst. Hungar. Acad. Sci., Budapest, 1989.

Cited by 57 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the algebraization of Henkin‐type second‐order logic;Mathematical Logic Quarterly;2022-02-06

2. α β-Relations and the Actual Meaning of α-Renaming;ACM Transactions on Computational Logic;2021-01-22

3. Algebraic Logic and Knowledge Bases;Hajnal Andréka and István Németi on Unity of Science;2021

4. A representation theorem for measurable relation algebras;Annals of Pure and Applied Logic;2018-11

5. Algebraic structuralism;Philosophical Studies;2018-04-16