We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
The number of {□, →}-logics.
- Authors
Schumm, George F.
- Abstract
The article presents a proof that there are a number of {□, →}-logics that have been left unresolved in their finite model property. It details the author's resolution to the overlooked and omitted axioms when validating all symmetric frames to prove a theorem. The author suggests that the proof of Lemma 6 is applicable only to reflexive and transitive frames and needs minor changes in order to get its full generality.
- Subjects
MATHEMATICAL logic; MATHEMATICAL proofs; MATHEMATICS theorems; AXIOMATIC set theory; FOUNDATIONS of mathematical analysis; MATHEMATICS
- Publication
Mathematical Logic Quarterly, 1990, Vol 36, Issue 6, p517
- ISSN
0942-5616
- Publication type
Article
- DOI
10.1002/malq.19900360604