Temat: logical semantics - Prolib Integro

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ę "logical semantics" wg kryterium: Temat

Wyświetlanie 1-10 z 10

Zaznacz

Skocz do pozycji: 1.

Tytuł:: CONSTRUCTIONAL VS. DENOTATIONAL CONCEPTION OF ABOUTNESS
Autorzy:: Jiří Raclavský
Tematy:: ABOUTNESS
NATURAL LANGUAGE
LOGICAL SEMANTICS
DENOTATA; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Products and Polymorphic Subtypes
Autorzy:: Bono, V.
Tiuryn, J.
Data publikacji:: 2002
Słowa kluczowe:: polymorphic subtyping
Cartesian product
logical semantics
sequent; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Evolution of Collective Commitment during Teamwork
Autorzy:: Dunin-Kęplicz, B.
Verbrugge, R.
Data publikacji:: 2003
Słowa kluczowe:: Cooperative Problem Solving (CPS)
logical semantics
Kripke models
dynamic logic
multi-modal logical; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: ORDINARY EXPRESSIONS HAVE NO EXACT AND SYSTEMATIC LOGIC. SOME REMARKS ON STRAWSONS CONTRIBUTIONS TO LOGICAL THEORY
Autorzy:: Dumitru Mircea
Tematy:: LOGICAL ANALYSIS
LOGICAL THEORY
NATURAL LANGUAGE
SEMANTICS
PHILOSOPHY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Content and Meaning Constitutive Inferences
Autorzy:: Garcia-Arnaldos, Maria Dolores
Data publikacji:: 2019
Wydawca:: Polskie Towarzystwo Semiotyczne
Tematy:: meaning
conceptual role semantics
inferentialism
content
logical rules; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Content and Meaning Constitutive Inferences
Autorzy:: Maria Dolores Garcia-Arnaldos
Data publikacji:: 2019
Tematy:: meaning
conceptual role semantics
inferentialism
content
logical rules; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Motivating Certain Variation Patterns in Degree Constructions: Semantics Meets Grammaticalization
Autorzy:: Remus Gergel
Data publikacji:: 2010-03-01
Tematy:: Comparatives
logical form
language change
syntax-semantics interface; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Towards a Behavioral Algebraic Theory of Logical Valuations
Autorzy:: Caleiro, C.
Goncalves, R.
Data publikacji:: 2011
Słowa kluczowe:: algebraic logic
logical matrix
behavioral algebraization
valuation semantics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: The Logical Burdens of Proof. Assertion and Hypothesis
Autorzy:: Chiffi Daniele
Schang Fabien
Data publikacji:: 2017-12-15
Tematy:: logic for pragmatics
assertion
hypothesis
question-answer semantics
logical opposition; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: The Impact of seq on Free Theorems-Based Program Transformations
Autorzy:: Johann, P.
Voigtländer, J.
Data publikacji:: 2006
Słowa kluczowe:: Haskell
control primitives
correctness proofs
denotational semantics
functional programming languages
logical relations
mixing strict and nonstrict evaluation
parametricity
polymorphism
program transformation
rank - 2 types
short cut fusion
theorems for free; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 10

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ę "logical semantics" wg kryterium: Temat