共 50 条
- [41] EXTENSION OF INTUITIONISTIC PROPOSITIONAL CALCULUS PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1971, 74 (03): : 287 - &
- [44] UNSOLVABLE SUPERINTUITIONISTIC PROPOSITIONAL CALCULUS DOKLADY AKADEMII NAUK SSSR, 1978, 240 (03): : 549 - 552
- [46] ON PROPOSITIONAL CALCULUS WITH A VARIABLE FUNCTOR C DELTA PC DELTA NP DELTA Q PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (10): : 1161 - &
- [49] THE ORIGINALITY OF THE STOICS' PROPOSITIONAL LOGIC COMPARED TO THE CLASSICAL PROPOSITIONAL CALCULUS AUFKLARUNG-REVISTA DE FILOSOFIA, 2022, 9 (02): : 93 - 108
- [50] Calculus of functors and model categories, II ALGEBRAIC AND GEOMETRIC TOPOLOGY, 2014, 14 (05): : 2853 - 2913