v1
Completeness and interpolation for intuitionistic infinitary predicate\n logic, in connection to finitizing the class of representable Heyting\n polyadic algebras
Identifier:nobleid.org/w1/20260515/DEF0774F
Type:Preprint
0 views
Embeddable Badge
[](https://nobleid.org/work/w1/20260515/DEF0774F)
Bibliometric Analysis
Impact metrics, research fronts, co-authorship networks →
Authors & Claims
Paper Authors