INTUITIONISTIC ALGEBRA IN THE PRESENCE OF APARTNESS

被引：0
|
作者：
RUITENBURG, W
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1981年 / 46卷 / 03期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：697 / 698
页数：2
相关论文
共 50 条
  • [1] Sequent calculus proof theory of intuitionistic apartness and order relations
    Sara Negri
    Archive for Mathematical Logic, 1999, 38 : 521 - 547
  • [2] Sequent calculus proof theory of intuitionistic apartness and order relations
    Negri, S
    ARCHIVE FOR MATHEMATICAL LOGIC, 1999, 38 (08) : 521 - 547
  • [3] INTUITIONISTIC ALGEBRA AND REPRESENTATIONS OF RINGS
    MULVEY, C
    MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, (148) : 3 - 57
  • [4] INTUITIONISTIC FUZZY BANACH ALGEBRA
    Dinda, Bivas
    Samanta, T. K.
    Bera, U. K.
    BULLETIN OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2011, 3 (03): : 273 - 281
  • [5] THE RING AND ALGEBRA OF INTUITIONISTIC SETS
    Ural, Alattin
    HACETTEPE JOURNAL OF MATHEMATICS AND STATISTICS, 2011, 40 (01): : 21 - 26
  • [6] Intuitionistic proof of the fundamental equation of algebra
    Brouwer, LEJ
    de Loor, B
    PROCEEDINGS OF THE KONINKLIJKE AKADEMIE VAN WETENSCHAPPEN TE AMSTERDAM, 1924, 27 (1/10): : 186 - 188
  • [7] Intuitionistic addition to the fundamental principle of algebra
    Brouwer, LEJ
    PROCEEDINGS OF THE KONINKLIJKE AKADEMIE VAN WETENSCHAPPEN TE AMSTERDAM, 1924, 27 (1/10): : 631 - 634
  • [8] ON THE ALGEBRA OF CLOSED FORMULAS IN THE INTUITIONISTIC VERSION OF GL
    KIROV, K
    DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1990, 43 (04): : 9 - 12
  • [9] Inverse semigroups with apartness
    Alessandra Cherubini
    Achille Frigeri
    Semigroup Forum, 2019, 98 : 571 - 588
  • [10] Linguistic Truth-Valued Intuitionistic Fuzzy Algebra
    Zou, Li
    Liu, Xin
    Ruan, Da
    Xu, Yang
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2012, 18 (5-6) : 445 - 456
12345