The Finite Model Property and Subsystems of Classical Propositional Calculus

From MaRDI portal

Revision as of 10:43, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3261412

Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3261412&oldid=16453519"