In our earlier work, we constructed uniformly high order accurate discontinuous Galerkin (DG) and finite volume schemes which preserve positivity of density and pressure for the Euler equations of compressible gas dynamics. In this paper, we present an extension of this framework to construct positivity-preserving high order essentially non-oscillatory (ENO) and weighted essentially non-oscillatory (WENO) finite difference schemes for compressible Euler equations. General equations of state and source terms are also discussed. Numerical tests of the fifth order finite difference WENO scheme are reported to demonstrate the good behavior of such schemes.

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!

No abstract uploaded!