Vol-2817⫷ Vol-2818 ⫸Vol-2819
urn:nbn:de:0074-2818-0


Vol-2818/paper04⫷Vol-2818/paper05
Verónica Borja Macı́asAlejandro Hernández-TelloDaniela Hernández-Grijalva

An axiomatization of the paracomplete logic L3AD→1