We introduce the Yagah prime density triangle, a multiplicative array constructed by a modified rule of indices. Two display formats are given: a right-angle triangle with converted and unconverted entries, and an equilateral triangle obtained by mirroring the right-angle triangle about the central term xn. We derive the row-sum generating function and provide worked examples using both direct computation and the generating function.Using a four-rule division scheme applied to the unconverted rows we obtain the sequence whose integer parts sum to the magic numbers for two spin orientations. Replacing the repeated end integers by 1,1 yields whose integer parts give the standard nuclear magic numbers 2, 8, 20, 28, 50, 82, 126, 184, . . . Subshell filling up to x9, deductions, and evidence from nuclear physics are included. A recurrence M = m ± [(n1n2) + 2] is presented for generating further magic numbers. The sequences appear as OEIS A005897 and OEIS A018226.

This note presents two original and creative divisibility tests for the integers 2 and 5. Both rules use the factorial of the last digit of a number, combined with a small correction when the factorial value would disrupt the required modular congruence. The resulting tests are mathematically equivalent to the classical last-digit rules but reach the same conclusion through an unconventional factorial-based approach. Each theorem includes a short proof sketch, an explanation of the mechanism, and four worked examples. The methods are valid precisely because 2 and 5 divide the base 10, allowing the last digit to fully determine the remainder modulo of these divisors. The work is intended as an accessible piece of recreational number theory for educational purposes.

No abstract uploaded!

Resolution Matrix Semantics (RMS) introduces a novel truth-value-based framework for modal logic, providing a substantive alternative to Kripke’s relational semantics of possible worlds. Drawing inspiration from Y. Ivlev’s substantive semantics, RMS utilizes a 4-valued structure—necessary truth (tn), contingent truth (tc), contingent false (fc), and necessary false (fn)—augmented by indeterminate values (t, f, t/f) to define modal systems Km, KDm, KTm, S4m, and S5m, analogous to Kripke’s K, KD, T, S4, and S5. By directly assigning determined and indeterminate truth values via an interpretation function, RMS validates formulas without relying on accessibility relations, as demonstrated through soundness and completeness proofs and a tailored tableau method. The framework’s versatility extends to applications in deontic logic, artificial intelligence, and quantum computing, enabling context-dependent reasoning with computational efficiency. RMS thus bridges philosophical logic and practical domains, offering a truth-centric perspective on modal reasoning’s complexities.

Let $f(n)$ be the maximum number of edges in a graph on $n$ vertices in which no two cycles have the same length. P. Erdos raised the problem of determining $f(n)$ (see J.A. Bondy and U.S.R. Murty, Graph Theory with Applications (Macmillan, New York, 1976), p.247, Problem 11). We present the problems, conjectures related to this problems and we summarize the know results. We make the following conjecture: \par \noindent{\bf Conjecture } $$\lim\sb {n \to \infty} {f(n)-n \over \sqrt n} = \sqrt {2 + \frac{4}{9}}.$$