Pages that link to "Item:Q3347852"
From MaRDI portal
The following pages link to A GENERALIZATION OF LINDENBAUM'S THEOREM FOR PREDICATE CALCULI (Q3347852):
Displaying 6 items.
- Semantically universal classes of models (Q1803018) (← links)
- Criterion for propositional calculi to be finitely generated (Q2344087) (← links)
- On Number of Lindenbaum's Oversystems of Propositional and Predicate Calculi (Q3727948) (← links)
- Generalising Predicate and Argument Invariance (Q4981277) (← links)
- (Q5202652) (← links)
- Automata, Languages and Programming (Q5466518) (← links)