Syntactic properties of p-consequence

Szymon Frankowski

DOI: http://dx.doi.org/10.12775/LLP.2011.018

Abstract


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.

Keywords


p-consequence; non-deductive reasoning

Full Text:

PDF

References


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.








Print ISSN: 1425-3305
Online ISSN: 2300-9802

Partnerzy platformy czasopism