INDEPENDENT AXIOMATIZATION OF DENUMERABLE SETS OF FORMULAS IN INTUITIONIST LOGIC

被引:0
|
作者
REZNIKOFF, I
机构
关键词
D O I
暂无
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:170 / +
页数:1
相关论文
共 50 条
  • [1] INDEPENDENCE OF COUNTABLE SETS OF FORMULAS OF THE PROPOSITIONAL LOGIC
    Oner, Tahsin
    Terziler, Mehmet
    [J]. ARS COMBINATORIA, 2013, 112 : 73 - 80
  • [2] Faulty sets of Boolean formulas and Lukasiewicz logic
    Mundici, Daniele
    Picardi, Claudia
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (02) : 497 - 507
  • [3] Sexuations, the feminine, and intuitionist logic
    Reuil, Melanie
    Rassial, Jean-Jacques
    Petit, Laetitia
    [J]. EVOLUTION PSYCHIATRIQUE, 2023, 88 (03): : 381 - 394
  • [4] Intuitionist logic and psychoanalytical clinic
    Malengreau, Pierre
    [J]. FILOZOFSKI VESTNIK, 2006, 27 (02) : 189 - 209
  • [5] ON THE AXIOMATIZATION OF REALIZABLE PROPOSITIONAL FORMULAS
    VARPAKHOVSKII, FL
    [J]. DOKLADY AKADEMII NAUK SSSR, 1990, 314 (01): : 32 - 36
  • [6] Axiomatization of frequent sets
    Calders, T
    Paredaens, J
    [J]. DATABASE THEORY - ICDT 2001, PROCEEDINGS, 2001, 1973 : 204 - 218
  • [7] SETS MEASURABLE BY DENUMERABLE SECTIONS
    DELLACHERIE, C
    [J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1968, 266 (23): : 1142 - +
  • [8] The Axiomatization of Propositional Logic
    Giero, Mariusz
    [J]. FORMALIZED MATHEMATICS, 2016, 24 (04): : 281 - 290
  • [9] On axiomatization of fuzzy logic
    Perovic, Aleksandar
    Jovanovic, Maja
    Jovanovic, Aleksandar
    [J]. 2007 5TH INTERNATIONAL SYMPOSIUM ON INTELLIGENT SYSTEMS & INFORMATICS, 2007, : 44 - 46
  • [10] Sets of independent postulates for the algebra of logic
    Huntington, Edward V.
    [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1904, 5 (1-4) : 288 - 309