共 50 条
- [41] A formal reduction of the general problem of expressibility of formulas in the Gödel-Löb provability logic Discrete Mathematics and Applications, 2002, 12 (03): : 279 - 290
- [43] Application of Quantum Darwinism to Cosmic Inflation: An Example of the Limits Imposed in Aristotelian Logic by Information-based Approach to Gödel’s Incompleteness Foundations of Science, 2010, 15 : 199 - 211
- [44] NOT-INHIBIT Reversible Logic Gate Behavior of g-C3N4-Hg2+-Complexed Nanoparticles CHEMISTRYSELECT, 2018, 3 (07): : 2096 - 2102
- [47] SPECIALIZED NMR SPIN-CLUSTER SYMMETRY CHAINS UNDER SU(M)XJ(N) GROUP DUALITIES - ROLE OF DEMOCRATIC RECOUPLING AND PROJECTIVE GEOMETRIC MAPPING FROM SU(M) P-TUPLES ONTO GAMMA(LAMBDA)(UPSILON/J(N)), OR ONTO GAMMA(UPSILON/J(N)DOWN-ARROW-G), FOR 6 LESS-THAN-OR-EQUAL-TO N-FOLD CAGE CLUSTERS PHYSICA A, 1994, 202 (3-4): : 595 - 623
- [49] Erratum: On uniform (1 [less-than or equal to] i [less-than or equal to] 3) n-fold {|I outerM(i1 [midline ellipsis] in)>} dual tensorial sets, spin irreps from SU(3 [less-than or equal to] m) × Sn contains [midline ellipsis] contains S n weight sets: A direct role for N(λ [turnstile] n)Partitional catalogs of sn combinatorics in spin physics International Journal of Quantum Chemistry, 2004, 99 (02)
- [50] A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3DH\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_{\text {DH}}$$\end{document} Journal of Logic, Language and Information, 2021, 30 (1) : 117 - 138