The Finite Model Property and Subsystems of Classical Propositional Calculus

DOI10.1002/malq.19590050104zbMath0088.24701OpenAlexW2069138388MaRDI QIDQ3261412

Ronald Harrop

Publication date: 1959

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19590050104

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (5)

Some structure results for propositional calculi ⋮ The lattice of strengthenings of a strongly finite consequence operation ⋮ Strong completeness with respect to finite Kripke models ⋮ Some results concerning finite model separability of propositional calculi ⋮ On finite approximability of psi-intermediate logics

This page was built for publication: The Finite Model Property and Subsystems of Classical Propositional Calculus