Pages that link to "Item:Q5582301"

The following pages link to Some structure results for propositional calculi (Q5582301):

Displaying 10 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)
• A consistent prepositional logic without any finite models (Q3680807) (← links)
• For Want of an ‘And’: A Puzzle about Non-Conservative Extension (Q5317773) (← links)
• Semantic analysis of tense logics (Q5648343) (← links)