On simplifying the matrix of a wff

DOI10.2307/2269865MaRDI QIDQ5539745zbMATH OpenOpenAlexFDO

Authors Peter B. Andrews

Publication date 1968

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2269865

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• A New Approach for theW-Matrix
• The WST-decomposition for partial matrices
• Structure properties of W matrices
• On extension of Wronskian matrices
• Application of matrix methods on W-curves
• The waring problem for matrices
• Matrix WA + A^tW and its applications
• Rewrite rules and simplification of matrix expressions
• Theww^Tfactorization of dense and sparse matrices
• Simplifications of rational matrices by using UML

Cites work

• A Computer Program for a Solvable Case of the Decision Problem
• A Machine-Oriented Logic Based on the Resolution Principle
• A Semi-Decision Procedure for the Functional Calculus

This page was built for publication: On simplifying the matrix of a wff

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5539745)