Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Ograniczanie wyników

Czasopisma help

  1. 2 Bulletin of the Section of Logic

Autorzy help

  1. 2 Niki S.

Lata help

  1. 2 2020

Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 2

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych:  co-negation
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations

100%
Niki S.
Bulletin of the Section of Logic
|
2020
|
tom 49
|
nr 4
359-375
EN
We continue the investigation of the first paper where we studied logics with various negations including empirical negation and co-negation. We established how such logics can be treated uniformly with R. Sylvan's CCω as the basis. In this paper we use this result to obtain cut-free labelled sequent calculi for the logics.
2
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations

88%
Niki S.
Bulletin of the Section of Logic
|
2020
|
tom 49
|
nr 3
231-253
EN
We investigate the relationship between M. De's empirical negation in Kripke and Beth Semantics. It turns out empirical negation, as well as co-negation, corresponds to different logics under different semantics. We then establish the relationship between logics related to these negations under unified syntax and semantics based on R. Sylvan's CCω.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.