On simplifying the matrix of a wff

DOI10.2307/2269865zbMath0157.33502OpenAlexW4250534162MaRDI QIDQ5539745

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)

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