An unsolvable problem concerning implicational calculi.

DOI10.1305/NDJFL/1093893936zbMath0169.30503OpenAlexW1993703405MaRDI QIDQ5556405

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)

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