Currently displaying 1 – 2 of 2

Showing per page

Order by Relevance | Title | Year of publication

A Post-style proof of completeness theorem for symmetric relatedness Logic S

Mateusz Klonowski — 2018

Bulletin of the Section of Logic

One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem for logic S is one of them. Our paper introduces a solution of this metalogical issue.

Bayesian Propositional Logic

Tomasz Jarmużek;  Mateusz Klonowski;  Jacek Malinowski — 2017

Bulletin of the Section of Logic

We define and investigate from a logical point of view a family of consequence relations defined in probabilistic terms. We call them relations of supporting, and write: |≈w where w is a probability function on a Boolean language. A |≈w B iff the fact that A is the case does not decrease a probability of being B the case. Finally, we examine the intersection of |≈w , for all w, and give some formal properties of it.

Page 1

Download Results (CSV)