Keywordsbisconsequence’ p-consequence, bimatrix, p-matrix, biinference, biproof
Abstractp-consequence (plausible consequence; see ) 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.
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.
How to Cite
Number of views and downloads: 187
Number of citations: 0