Formal propositional Visser's logic and its expansion. A. Chagrov

Submitted by Admin on Sat, 2006-11-25 23:39.
Author: Chagrov A.

This page is only in russian

Published in Logical Studies, 2003, Volume 11

Previous story: Functional algebraic model, which corresponds to the Klini's prime- realizability. V.Khakhanian

ILCSDP | Chagrov A. | Logic