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.








logo
 
 
 
Financed by MNiSW on the basis of agreement no. 706/P-DUN/2018 (dated 10/05/18). Project 1: “Preparation of articles in English for eight editions of the journal Logic and Logical Philosophy over the period 2018–19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 64800 zł. Project 4: “Digitalisation of eight editions of the journal Logic and Logical Philosophy over the period 2018-19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 18600 zł.


ISSN: 1425-3305 (print version)
ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism