Biconsequences
DOI:
https://doi.org/10.12775/LLP.2010.014Słowa kluczowe
bisconsequence’ p-consequence, bimatrix, p-matrix, biinference, biproofAbstrakt
p-consequence (plausible consequence; see [2]) allows for a formulation of non-deductive reasonings, i.e., such where the conclusion has weaker justification then assumptions and thus when added to the set of assumptions results in its extension. But theoretical modesty of p-consequence operation does not tell the difference between “good” and “worse” conclusions. Therefore the bisconsequence is introduced.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 operations”, 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.
Shramko, Y., and H. Wansing, “Entailment relations and/as truth values”, Bulletin of the Section of Logic 36, 3–4 (2007): 131–144.
Pobrania
Opublikowane
Jak cytować
Numer
Dział
Statystyki
Liczba wyświetleń i pobrań: 301
Liczba cytowań: 0