Baidu
map

Free Logics are Cut-Free

Indrzejczak, A

Indrzejczak, A (corresponding author), Univ Lodz, Dept Log, Lindleya 3-5, PL-90131 Lodz, Poland.

STUDIA LOGICA, ; ():

Abstract

The paper presents a uniform proof-theoretic treatment of several kinds of free logic, including the logics of existence and definedness applied in co......

Full Text Link


Baidu
map
Baidu
map
Baidu
map