Biconsequences
DOI:
https://doi.org/10.12775/LLP.2010.014Keywords
bisconsequence’ p-consequence, bimatrix, p-matrix, biinference, biproofAbstract
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.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 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.
Downloads
Published
How to Cite
Issue
Section
Stats
Number of views and downloads: 187
Number of citations: 0
