ON PREFACING (QUANTIFIER-X)A SUPERSET OF A(Y/X) WITH (QUANTIFIER-Y) - A FREE QUANTIFICATION THEORY WITHOUT IDENTITY

被引：0
|
作者：
LEBLANC, H
MEYER, RK
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1970年 / 35卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：180 / &
相关论文
共 2 条
  • [1] PREFACING (FOR EVERY X)A CONTAINS A(Y/X) WITH (FOR EVERY Y) - A FREE QUANTIFICATION THEORY WITHOUT IDENTITY
    LEBLANC, H
    MEYER, RK
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1970, 16 (05): : 447 - &
  • [2] Gap-free X and Y chromosome assemblies of Salix arbutifolia reveal an evolutionary change from male to female heterogamety in willows, without a change in the position of the sex-determining locus
    Wang, Yi
    Gong, Guang-Nan
    Wang, Yuan
    Zhang, Ren-Gang
    Hoerandl, Elvira
    Zhang, Zhi-Xiang
    Charlesworth, Deborah
    He, Li
    NEW PHYTOLOGIST, 2024, 242 (06) : 2872 - 2887
1