No abstract uploaded!

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.

No abstract uploaded!

In this paper, we study the question of which compact manifolds admit a metric with positive scalar curvature. Scalar curvature is perhaps the weakest invariant among all the well-known invariants constructed from the curvature tensor. It measures the deviation of the Riemannian volume of the geodesic ball from the euclidean volume of the geodesic ball. As a result, it does not tell us much of the behavior of the geodesics in the manifold. Therefore it was remarkable that in 1963, Lichnerowicz [i] was able to prove the theorem that on a compact spin manifold with positive scalar curvature, there is no harmonic spinor. Applying