Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

1 Reports on Mathematical Logic

1 2007

1 Sakharov A.

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Intuitionistic Predicate Logic with Decidable Propositional Formulas

100%

Sakharov A.

Reports on Mathematical Logic

2007

tom No. 42

153-168

First-order intuitionistic logic extended with the assumption about decidability of all propositional atoms combines classical and intuitionistic properties. Two classes of formulas on which this extension coincides with classical and intuitionis tic logic, respectively, are identied. Constrained Kripke structures are introduced for modeling intuitionistic logic with decidable propositional atoms. The extent of applicability of classicalonly laws, the extent of the disjunction and existence properties, decidability issues, and translations are investigated.