Syntactic properties of p-consequence

Szymon Frankowski



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.


p-consequence; non-deductive reasoning

Full Text:



Ajdukiewicz, K., Pragmatic Logic, Dordrecht, Reidel, 1974.

Frankowski, Sz., “Formalization of plausible inference”, Bulletin of the Section of Logic 33, 1 (2004): 41–52.

Frankowski, Sz., “p-consequence versus q-consequence”, Bulletin of the Section of Logic 33, 4 (2004): 195-207.

Frankowski, Sz., “Plausible reasoning expressed by p-consequence”, Bulletin of the Section of Logic 37, 3–4 (2008): 161–170.

Frankowski, Sz., “On the lattice of p-consequences”, Reports on Mathematical Logic 45 (2010): 23–35.

Van Dalen, D., “Intuitionistic Logic”, pages 1–115 in: Handbook of Philosophical Logic, vol. V, D. Gabbay and F. Guenthner (eds.), Kluwer Academic Press, 2002.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism