1

Deduction-detachment theorem in hidden k-logics

E-Article
2

Linear Temporal Logic LTL: Basis for Admissible Rules

E-Article
3

Logics of Kripke meta-models

E-Article
4

Operation of 600-ton open-hearth furnace with oxygen-blown bath

E-Article
6
7
8

ULTRAFILTRATION OF MODIFIED MILK WHEY

E-Article
9