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 meta-logic of inference rules: Syntax

Szczegóły
Opis

Tytuł:: A meta-logic of inference rules: Syntax
Autorzy:: Citkin Alex
Data publikacji:: 2015-03-09
Tematy:: propositional logic
multiple-conclusion rule
rejected proposition
Ł-system
admissible rule
deductive system
Język:: angielski
Dostawca treści:: CEJSH
: Artykuł

Przejdź do źródła

This work was intended to be an attempt to introduce the meta-language for working with multiple-conclusion inference rules that admit asserted propositions along with the rejected propositions. The presence of rejected propositions, and especially the presence of the rule of reverse substitution, requires certain change the definition of structurality.

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 meta-logic of inference rules: Syntax