Pages that link to "Item:Q1092029"
From MaRDI portal
The following pages link to Equations in free topoboolean algebra (Q1092029):
Displaying 7 items.
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- Elementary theories of free topo-Boolean and pseudo-Boolean algebras (Q1076014) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- (Q3788715) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Inference rules with metavariables and logical equations in the pretabular modal logic PM1 (Q5932613) (← links)