Biconsequences

• Authors: Frankowski Szymon
• Languages of publication: EN

Abstracts

EN

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.

Keywords

EN

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

• Publisher: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Journal: Logic and Logical Philosophy
• Year: 2010
• Volume: 19
• Issue: 4
• Pages: 353–364

Dates

published

2010-12-01

Contributors

author

Frankowski Szymon

• Department of Logic, University of Łódź, Łódź, Poland

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.

Identifiers

DOI

10.12775/LLP.2010.014