A Semi-Decision Procedure for the Functional Calculus

DOI10.1145/321150.321151MaRDI QIDQ5520635zbMATH OpenOpenAlexFDO

Authors Joyce Friedman

Publication date 1963

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/321150.321151

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited in

(3)

• A decision procedure for von Wright's OBS-calculus
• On simplifying the matrix of a wff
• On the complexity of Maslov's class K

This page was built for publication: A Semi-Decision Procedure for the Functional Calculus

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