Temat: completeness theorem

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ę "completeness theorem" wg kryterium: Temat

Wyświetlanie 1-18 z 18

Zaznacz

Skocz do pozycji: 1.

Tytuł:: The Completeness of Typing for Context-Semantics
Autorzy:: Coquand, T.
Data publikacji:: 2007
Słowa kluczowe:: Hindley's completeness theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Variants of Small Universal P Systems with Catalysts
Autorzy:: Alhazov, A.
Freund, R.
Data publikacji:: 2015
Słowa kluczowe:: computational complexity
completeness theorem
catalysts
machine theory
problem solving; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Length P Systems
Autorzy:: Alhazov, A.
Freund, R.
Ivanov, S.
Data publikacji:: 2014
Słowa kluczowe:: computational complexity
linear systems
configurations
completeness theorem
biological membranes; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic
Autorzy:: Kurata, Toshihiko
Fujita, Ken-etsu
Data publikacji:: 2019
Słowa kluczowe:: second-order intuitionistic propositional logic
complete Heyting algebras
completeness theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A Relational Logic for Spatial Contact Based on Rough Set Approximation
Autorzy:: Düntsch, I.
Orłowska, E.
Wang, H.
Data publikacji:: 2016
Słowa kluczowe:: rough sets
approximation theory
set theory
mathematical proofs
completeness theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Truth in the limit
Autorzy:: Mostowski, M.
Data publikacji:: 2016
Słowa kluczowe:: finite models
sl–semantics
completeness theorem
potential infinity
finite arithmetics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Truth in the limit
Autorzy:: Mostowski, Marcin
Data publikacji:: 2016
Słowa kluczowe:: sl–semantics
completeness theorem
potential inﬁnity
ﬁnite models
ﬁnite arithmetics; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: On Completeness and Decidability of Phase Space Invertible Asynchronous Cellular Automata
Autorzy:: Wacker, S.
Worsch, T.
Data publikacji:: 2013
Słowa kluczowe:: completeness theorem
decidability
cellular automata
turing machines
dimensional analysis
machine theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: A propositional logic of temporal connectives
Autorzy:: Epstein Richard L.
Buitrago-Díaz Esperanza
Data publikacji:: 2014-09-06
Tematy:: temporal logic
propositional logic
completeness theorem
linear orderings
subjective experience of time; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Natural Deduction System for Some Three-valued Propositional Logic
Autorzy:: Zbrzezny, A.
Data publikacji:: 1999
Słowa kluczowe:: teoria kompletności
logika zdań
rachunek ciągowy N
sequence N calculus
completeness theorem
logic of propositions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Reasoning about resources and information : a linear logic approach
Autorzy:: Kamide, N.
Kaneiwa, K.
Data publikacji:: 2013
Słowa kluczowe:: completeness theorem
informational interpretation
linear logic
resource-sensitive reasoning
secure password authentication system
sequence modal operator; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: A three-valued doxastic logic based on Kleene’s and Bochvar’s ideas
Autorzy:: Wesserling, Janusz
Data publikacji:: 2019-12-30
Wydawca:: Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:: logika doksastyczna
silne przekonanie
silna logika trójwartościowa Kleene'a
łączniki wewnętrzne
łączniki zewnętrzne
twierdzenie o zupełności
doxastic logic
strong belief
Kleene’s strong three-valued logic
internal connectives
external connectives
completeness theorem; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Carathéodory completeness on the plane
Autorzy:: Edigarian, Armen
Data publikacji:: 2019
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: Carathéodory distance
completeness
Melnikov's theorem
peak function; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Carathéodory completeness on the plane
Autorzy:: Edigarian, Armen
Data publikacji:: 2019
Słowa kluczowe:: Melnikov's theorem
Carathéodory distance
peak function
completeness; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Foundations of Paraconsistent Resolution
Autorzy:: Kamide, N.
Data publikacji:: 2006
Słowa kluczowe:: paraconsistent resolution
sequent calculus
Herbrand theorem
completeness
cut elimination; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: An Arithmetically Complete Predicate Modal Logic
Autorzy:: Hao, Yunge
Tourlakis, George
Data publikacji:: 2021-08-23
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Predicate modal logic
arithmetic completeness
logic GL
Solovay's theorem
equational proofs; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: System semantics of explanatory dictionaries
Autorzy:: Volodymyr Shyrokov
Data publikacji:: 2015-11-24
Tematy:: Explanatory dictionaries
lexicographical systems
lexicographic closure and completeness
hyperchains
hypercycles
Goedel’s incompleteness theorem; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: On the proof-theory of a first-order extension of GL
Autorzy:: Schwartz Yehuda
Tourlakis George
Data publikacji:: 2013-09-18
Tematy:: Gentzen-style logic
Gentzen’s Hauptsatz
Hilbert-style logic
GL
K4
provability logic
provability predicate
modal first-order logic
sequent calculus
cut-elimination
reflection theorem
Craig interpolation
arithmetical interpretation
soundness
arithmetical completeness; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Wyświetlanie 1-18 z 18

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ę "completeness theorem" wg kryterium: Temat