Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

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

Modal Boolean Connexive Logics: Semantics and Tableau Approach

100%

Jarmużek T., Malinowski J.

Bulletin of the Section of Logic

2019

tom 48

nr 3

213-243

In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. We construct these logics by mixing relating semantics with possible worlds. This way, we obtain connexive counterparts of basic normal modal logics. However, most of their traditional axioms formulated in terms of modalities and implication do not hold anymore without additional constraints, since our implication is weaker than the material one. In the final section, we present a tableau approach to the discussed modal logics.

Bayesian Propositional Logic

81%

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 Jarmużek T.

2 Malinowski J.

1 Klonowski M.

1 2019

1 2017

Wyniki wyszukiwania

Modal Boolean Connexive Logics: Semantics and Tableau Approach

Bayesian Propositional Logic