Syntactic properties of p-consequence
DOI:
https://doi.org/10.12775/LLP.2011.018Keywords
p-consequence, non-deductive reasoningAbstract
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.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.
Downloads
Published
How to Cite
Issue
Section
Stats
Number of views and downloads: 338
Number of citations: 0