Informacja

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 Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization

Tytuł:
A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization
Autorzy:
Biasi, C.
Aschieri, F.
Data publikacji:
2008
Słowa kluczowe:
subtractive logic
bi-intuitionistic logic
intuitionistic logic for pragmatics
lambda calculus
strong normalization
Język:
angielski
Dostawca treści:
BazTech
Artykuł
  Przejdź do źródła  Link otwiera się w nowym oknie
We propose a term assignment (let calculus) for Intuitionistic Logic for Pragmatics ILP_AC, a polarized sequent calculus which includes ordinary positive intuitionistic logic LJ its dual LJ and dual negations ( )^ which allow a formula to "communicate" with its dual fragment. We prove the strong normalization property for the term assignment which follows by soundly translating the let calculus into simply typed l calculus with pairings and projections. A new and simple proof of strong normalization for the latter is also provided.

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