On simplifying the matrix of a wff

DOI10.2307/2269865zbMATH Open0157.33502OpenAlexW4250534162MaRDI QIDQ5539745FDOQ5539745

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

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

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

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

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)