Pages that link to "Item:Q5582301"
From MaRDI portal
The following pages link to Some structure results for propositional calculi (Q5582301):
Displaying 16 items.
- The finite model property and recursive bounds on the size of countermodels (Q1063587) (← links)
- Varieties of algebraic systems and propositional calculi (Q1080449) (← links)
- Algorithms for finding matrix models of propositional calculi (Q1181707) (← links)
- Some remarks on the concept of completeness of the propositional calculus. I (Q1219263) (← links)
- Matrix approach in methodology of sentential calculi (Q1229698) (← links)
- Equational axioms for classes of Heyting algebras (Q1237072) (← links)
- Some results concerning finite model separability of propositional calculi (Q1239307) (← links)
- The classification of propositional calculi (Q1595914) (← links)
- Criterion for propositional calculi to be finitely generated (Q2344087) (← links)
- (Q3028982) (← links)
- A Schemata Calculus for Propositional Logic (Q3648719) (← links)
- A Couple of Novelties in the Propositional Calculus (Q3676116) (← links)
- A consistent prepositional logic without any finite models (Q3680807) (← links)
- (Q4011579) (← links)
- For Want of an ‘And’: A Puzzle about Non-Conservative Extension (Q5317773) (← links)
- Semantic analysis of tense logics (Q5648343) (← links)