Pages that link to "Item:Q1595914"
From MaRDI portal
The following pages link to The classification of propositional calculi (Q1595914):
Displaying 9 items.
- Classification theory over a predicate. I (Q1083445) (← links)
- Propositional truth maintenance systems: Classification and complexity analysis (Q1924776) (← links)
- Criterion for propositional calculi to be finitely generated (Q2344087) (← links)
- (Q3028982) (← links)
- (Q3339281) (← links)
- ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS (Q3483261) (← links)
- A Couple of Novelties in the Propositional Calculus (Q3676116) (← links)
- Propositional Structure and B. Russell's Theory of Denoting in<i>The Principles of Mathematics</i> (Q4670611) (← links)
- Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence (Q4683207) (← links)