Syntactic properties of p-consequence
DOI:
https://doi.org/10.12775/LLP.2011.018Słowa kluczowe
p-consequence, non-deductive reasoningAbstrakt
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.Bibliografia
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.
Pobrania
Opublikowane
Jak cytować
Numer
Dział
Statystyki
Liczba wyświetleń i pobrań: 251
Liczba cytowań: 0