Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

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

A Note on Gödel-Dummet Logic LC

100%

Robles G., Méndez J. M.

Bulletin of the Section of Logic

2021

tom 50

nr 3

325-335

Let \(A_{0},A_{1},...,A_{n}\) be (possibly) distintict wffs, \(n\) being an odd number equal to or greater than 1. Intuitionistic Propositional Logic IPC plus the axiom \((A_{0}\rightarrow A_{1})\vee ...\vee (A_{n-1}\rightarrow A_{n})\vee (A_{n}\rightarrow A_{0})\) is equivalent to Gödel-Dummett logic LC. However, if \(n\) is an even number equal to or greater than 2, IPC plus the said axiom is a sublogic of LC.

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

71%

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.

Ograniczanie wyników

2 Bulletin of the Section of Logic

2 Robles G.

1 Blanco J. M.

1 López S. M.

1 Méndez J. M.

1 Paradela J. R.

1 Recio M. M.

1 2021

1 2016

Wyniki wyszukiwania

A Note on Gödel-Dummet Logic LC

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