An unsolvable problem concerning implicational calculi.

DOI10.1305/NDJFL/1093893936MaRDI QIDQ5556405zbMATH OpenOpenAlexFDO

Authors Biswambhar Pahi, Ralph C. Applebee

Publication date 1969

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093893936

zbMATH Keywords

algebraic logicmodel theory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited in

(7)

• Implication of clauses is undecidable
• An impossibility theorem for verisimilitude
• Recursive unsolvability of a problem of expressibility in the logic of provability
• IMPOSSIBILITY THEOREMS ON MUTUAL EVALUATION
• The undecidability of entailment and relevant implication
• scientific article; zbMATH DE number 1180151 (Why is no real title available?)
• An Impossibility Result in Axiomatic Location Theory

This page was built for publication: An unsolvable problem concerning implicational calculi.

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