p-consequence is intended as a formalization of non-deductive reasoning. So far semantical or general properties have been presented more thoroughly ([2]-[5]). In the present paper we would like to focus on its syntactic properties.
Department of Logic University of Łodź ul. Kopcińskiego 16/18 87-100 Łodź, Poland
References
[1] Ajdukiewicz, K., Pragmatic Logic, Dordrecht, Reidel, 1974.
[2] Frankowski, Sz., “Formalization of plausible inference”, Bulletin of the Sec-tion of Logic 33, 1 (2004): 41-52.
[3] Frankowski, Sz., “p-consequence versus q-consequence”, Bulletin of the Sec-tion of Logic 33, 4 (2004): 195-207.
[4] Frankowski, Sz., “Plausible reasoning expressed by p-consequence”, Bul-letin of the Section of Logic 37, 3-4 (2008): 161-170.
[5] Frankowski, Sz., “On the lattice of p-consequences”, Reports on Mathemat-ical Logic 45 (2010): 23-35.
[6] Van Dalen, D., “Intuitionistic Logic”, pages 1-115 in: Handbook of Philo-sophical Logic, vol. V, D. Gabbay and F. Guenthner (eds.), Kluwer Academic Press, 2002.