Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: paraconsistent logic

Sortuj według:

Ogranicz wyniki do:

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

A Note on Ciuciura’s mbC1

100%

Omori H.

Bulletin of the Section of Logic

2019

tom 48

nr 3

161-171

This note offers a non-deterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and (strong) completeness results with respect to the Hilbert-style proof system. Moreover, based on the new semantics, we briefly discuss an unexplored variant of mbC1 which has a contra-classical flavor.

Useful Four-Valued Extension of the Temporal Logic KtT4

61%

Degauquier V.

Bulletin of the Section of Logic

2018

tom 47

nr 1

The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the axiom 4). This article aims, firstly, at providing both a model-theoretic and a proof-theoretic characterisation of a four-valued extension of the temporal logic KtT4 and, secondly, at identifying some of the most useful properties of this extension in the context of partial and paraconsistent logics.

Ograniczanie wyników

2 Bulletin of the Section of Logic

1 Degauquier V.

1 Omori H.

1 2019

1 2018

Wyniki wyszukiwania

A Note on Ciuciura’s mbC1

Useful Four-Valued Extension of the Temporal Logic KtT4