Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

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

100%

Klonowski M.

Bulletin of the Section of Logic

2018

tom 47

nr 3

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

51%

Jarmużek T., Klonowski M., Malinowski J.

Bulletin of the Section of Logic

2017

tom 46

nr 3/4

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.

Ograniczanie wyników

2 Bulletin of the Section of Logic

2 Klonowski M.

1 Jarmużek T.

1 Malinowski J.

1 2018

1 2017

Wyniki wyszukiwania

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

Bayesian Propositional Logic