Wyniki
-
Decidability of mereological theories
Hsing-chien Tsai
Logic and Logical Philosophy , 18 /1 (2009) s. 45-63 -
More on the decidability of mereological theories
Hsing-chien Tsai
Logic and Logical Philosophy , 20 /3 (2011) s. 251-265 -
Finitely inseparable first-order axiomatized mereotopological theories
Hsing-chien Tsai
Logic and Logical Philosophy , 22 /3 (2013) s. 347-363 -
Classical model existence and left resolution
Jui-Lin Lee
Logic and Logical Philosophy , 16 /4 (2007) s. 323-352