Alexei Yu. Muravitsky

A Framework for Knowledge-Based Systems

Alexei Yu. Muravitsky, A. Muravitsky, 1995, J. Appl. Non Class. Logics.

Knowledge Representation as Domains

Alexei Yu. Muravitsky, A. Muravitsky, 1997, J. Appl. Non Class. Logics.

A knowledge representation based on the Belnap's four-valued logic

Alexei Yu. Muravitsky, Yuri Kaluzhny, A. Muravitsky, 1995, J. Appl. Non Class. Logics.

On superintuitionistic logics as fragments of proof logic extensions

Alexei Yu. Muravitsky, A. V. Kuznetsov, A. Kuznetsov, 1986, Stud Logica.