Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: many-valued logics

Sortuj według:

Ogranicz wyniki do:

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

A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4

100%

Robles G., López S. M., Blanco J. M., Recio M. M., Paradela J. R.

Bulletin of the Section of Logic

2016

tom 45

nr 2

The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics.

A Variant of Material Connexive Logic

100%

Belikov A., Zaitsev D.

Bulletin of the Section of Logic

2022

tom 51

nr 2

The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles that will have to be abandoned, and some desired schemes of argument that clearly are not classically valid. That way, we start with a new version of connexive logic which validates Boethius’ (and thus, Aristotle’s) Theses and quashes their converse from right to left. We provide a sound and complete axiomatization of this logic. We also study the implication-negation fragment of this logic supplied with Boolean negation as a second negation.

Ograniczanie wyników

2 Bulletin of the Section of Logic

1 Belikov A.

1 Blanco J. M.

1 López S. M.

1 Paradela J. R.

1 Recio M. M.

1 Robles G.

1 Zaitsev D.

1 2021

1 2016

Wyniki wyszukiwania

A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4

A Variant of Material Connexive Logic