Szymon Frankowski



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.


bisconsequence’ p-consequence, bimatrix; p-matrix; biinference; biproof

Full Text:



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.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism