Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

A Note on Calculi for Non-deterministic Many-valued Logics

Szczegóły
Abstrakt

Tytuł:: A Note on Calculi for Non-deterministic Many-valued Logics
Autorzy:: Kaminski, Michael
Data publikacji:: 2022
Słowa kluczowe:: computer science
logic in computer science
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

We present two deductively equivalent calculi for non-deterministic many-valued log ics. One is defined by axioms and the other – by rules of inference. The two calculi are obtained from the truth tables of the logic under consideration in a straightforward manner. We prove soundness and strong completeness theorems for both calculi and also prove the cut elimination theorem for the calculi defined by rules of inference.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

A Note on Calculi for Non-deterministic Many-valued Logics