An unsolvable problem concerning implicational calculi.

DOI10.1305/NDJFL/1093893936zbMATH Open0169.30503OpenAlexW1993703405MaRDI QIDQ5556405FDOQ5556405

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

model theoryalgebraic logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (7)

• Recursive unsolvability of a problem of expressibility in the logic of provability
• Title not available (Why is that?)
• An impossibility theorem for verisimilitude
• Implication of clauses is undecidable
• IMPOSSIBILITY THEOREMS ON MUTUAL EVALUATION
• An Impossibility Result in Axiomatic Location Theory
• The undecidability of entailment and relevant implication

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)