Wszystkie pola: proof-theoretic semantics

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ę "proof-theoretic semantics" wg kryterium: Wszystkie pola

Wyświetlanie 1-9 z 9

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Proof-theoretic semantics for subsentential phrases
Autorzy:: Francez, Nissim (1944- )
Współwytwórcy:: Ben-Avi, Gilad
Dyckhoff, Roy (1948- )
Data publikacji:: 2010
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A proof-theoretic semantics for contextual domain restriction
Autorzy:: Francez, N.
Data publikacji:: 2014
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: proof-theoretic semantics
contextual domain restriction; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A proof-theoretic semantics for contextual domain restriction
Autorzy:: Francez, Nissim (1944- )
Data publikacji:: 2014
Tematy:: Język angielski
Semantyka lingwistyczna
Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: On reduction rules, meaning-as-use, and proof-theoretic semantics
Autorzy:: Queiroz, Ruy J. G. B. de
Data publikacji:: 2008
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A proof-theoretic semantics for contextual domain restriction
Autorzy:: Francez, N.
Data publikacji:: 2014
Słowa kluczowe:: proof-theoretic semantics
contextual domain restriction; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
Autorzy:: Ayhan, Sara
Wansing, Heinrich
Data publikacji:: 2023
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: bilateralism
bi-intuitionistic logic \(\mathtt{2Int}\)
cut-elimination
identity of derivations
synonymy; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
Autorzy:: Gheorghiu, Alexander V.
Pym, David J.
Data publikacji:: 2023
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: logic programming
proof-theoretic semantics
bilateralism
negationas-failure; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Does the Implication Elimination Rule Need a Minor Premise?
Autorzy:: Francez Nissim
Data publikacji:: 2018-09-15
Tematy:: natural deduction
NJ
proof-theoretic semantics
grounds for assertion
term assignment; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Fractional-Valued Modal Logic and Soft Bilateralism
Autorzy:: Piazza, Mario
Pulcini, Gabriele
Tesi, Matteo
Data publikacji:: 2023
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: modal logic
general proof theory (including proof-theoretic semantics)
many-valued logics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-9 z 9

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ę "proof-theoretic semantics" wg kryterium: Wszystkie pola