A. N. Safiullin, “Derivability of admissible rules with simple premises in the Lambek calculus”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2007, Number 4,Pages <nobr>72

JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive

Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2007 Number 4, Pages 72–76 (Mi vmumm1070)

This article is cited in 2 papers

Short notes

Derivability of admissible rules with simple premises in the Lambek calculus

A. N. Safiullin

UDC: 510.64

Received: 11.10.2006

Fulltext: PDF file (192 kB)
Cited by

Bibliographic databases: