Partial Horn logic and cartesian categories-Reference-Cited by-同舟云学术

Partial Horn logic and cartesian categories

Published:2007-03 Issue:3 Volume:145 Page:314-353
ISSN:0168-0072
Container-title:Annals of Pure and Applied Logic
language:en
Short-container-title:Annals of Pure and Applied Logic

Author:

Palmgren E.,Vickers S.J.

Publisher

Elsevier BV

Subject

Logic

Reference32 articles.

1. Locally Presentable and Accessible Categories;Adámek,1994

2. Quasivarieties of partial algebras — a unifying approach towards a two-value model theory for partial algebras;Andréka;Studia Scientiarum Mathematicarum Hungarica,1981

3. H. Andréka, I. Németi, Generalization of the concept of variety and quasivariety to partial algebras through category theory, Dissertationes Mathematicae (Rozprawy Matematyczne) 204 (1983) 1–51

4. Toposes, Triples and Theories;Barr,1984

5. Foundations of constructive mathematics;Beeson;Ergebnisse der Mathematik und ihrer Grenzgebiete (3),1985

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

1. Filtered colimit elimination from Birkhoff's variety theorem;Journal of Pure and Applied Algebra;2025-01

2. Reduction Free Normalisation for a proof irrelevant type of propositions;Logical Methods in Computer Science;2023-07-13

3. Inner Automorphisms of Presheaves of Groups;Applied Categorical Structures;2023-04

4. Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02

5. Fast Left Kan Extensions Using the Chase;Journal of Automated Reasoning;2022-07-06