Temat: 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: Temat

Wyświetlanie 1-5 z 5

Zaznacz

Skocz do pozycji: 1.

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: 2.

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: 3.

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: 4.

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: 5.

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-5 z 5

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: Temat