The following pages link to V. R. Kiyatkin (Q178409):
Displaying 6 items.
- Independent bases for rules admissible in pretabular logics (Q4237681) (← links)
- (Q4517271) (← links)
- (Q4530732) (← links)
- On Finite Model Property for Admissible Rules (Q4704656) (← links)
- Satisfiability in a Temporal Multi-valueted Logic Based on Z (Q5068367) (← links)
- Inference rules with metavariables and logical equations in the pretabular modal logic PM1 (Q5932613) (← links)
