Generalized filter models
β
Ines Margaria; Maddalena Zacchi
π
Article
π
2000
π
Elsevier Science
π
English
β 187 KB
In this paper, starting from ΓΏlters which are a natural generalization of intersection ΓΏlters (Barendregt et al., J. Symbolic Logic 48 (1983) 931-940), the existence of ΓΏlter models and ΓΏlter semimodels for the -calculus is investigated. The construction of ΓΏlters is based on a Z-semilattice of type