Temat: TRANSPARENT INTENSIONAL LOGIC

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

Wyszukujesz frazę "TRANSPARENT INTENSIONAL LOGIC" wg kryterium: Temat

Wyświetlanie 1-4 z 4

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Science – Logic – Philosophy. An old problem resuscitated
Autorzy:: Pavel Materna
Data publikacji:: 2012-06-01
Tematy:: concept
conceptual systems
constructions
Transparent Intensional Logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: On the interaction of semantics and deduction in Transparent Intensional Logic (Is Tichýs logic a logic?)
Autorzy:: Raclavský Jiří
Data publikacji:: 2013-10-05
Tematy:: logical analysis
deduction
entailment
Transparent Intensional Logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Can concepts be defined in terms of sets?
Autorzy:: Marie Duží
Materna Pavel
Data publikacji:: 2010-09-01
Tematy:: procedural semantics
Transparent Intensional Logic
concepts
structured meanings; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach
Autorzy:: Pezlar Ivo
Data publikacji:: 2017-12-15
Tematy:: logic of problems
algorithmic semantics
procedural semantics
Constructive Type Theory
Transparent Intensional Logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Wyświetlanie 1-4 z 4

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

Wyszukujesz frazę "TRANSPARENT INTENSIONAL LOGIC" wg kryterium: Temat