Wszystkie pola: language of logic

Skocz do pozycji: 1.

Tytuł:: Estetyka a granice języka. Ludwig Wittgenstein i Arthur C. Danto
Aesthetics and borders of language. From Ludwig Wittgenstein to Arthur C. Danto
Autorzy:: Glazor-Pomykała Karolina
Data publikacji:: 2016
Tematy:: Ludwig Wittgenstein; Arthur C. Danto; family resemblance; language game; language of logic; language of philosophy; essence of art; essence of reality; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: On Some Language Extension of Logic MR: A Semantic and Tableau Approach
Autorzy:: Tomasz Jarmużek
Aleksander Parol
Data publikacji:: 2020
Tematy:: rozszerzenie minimalnej logiki pozycyjnej
MR
logika pozycyjna
operator realizacji
metody tableau
extension of minimal positional logic
positional logic
realization operator
tableau methods; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Estetyka a granice języka. Ludwig Wittgenstein i Arthur C. Danto
Aesthetics and borders of language. From Ludwig Wittgenstein to Arthur C. Danto
Autorzy:: Glazor-Pomykała, Karolina
Data publikacji:: 2016
Wydawca:: Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie. Instytut Filozofii i Socjologii
Tematy:: ludwig wittgenstein
arthur c. danto
family resemblance
language game
language of philosophy
essence of art
essence of reality
language of logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: On some language extension of logic MR : a semantic and tableau approach
Współwytwórcy:: Parol, Aleksander Autor
Jarmużek, Tomasz Autor
Katedra Logiki (Uniwersytet Mikołaja Kopernika ; Toruń)
Instytut Filozofii (Uniwersytet Kardynała Stefana Wyszyńskiego ; Warszawa)
Data publikacji:: 2020
Tematy:: Logiki pozycyjne; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Matematyczne narzędzia stosowane do reprezentacji wiedzy o wadach wyrobów metalowych
Autorzy:: Kluska-Nawarecka, S.
Adrian, A.
Durak, J.
Mrzygłód, B.
Wilk-Kołodziejczyk, D.
Data publikacji:: 2005
Słowa kluczowe:: diagnostyka wad
wyroby hutnicze
reprezentacja wiedzy
formalizacja wiedzy
logiki
wnioskowanie
język logiki
diagnostics of defects
steel products
knowledge representation
knowledge formalization
logic
deductions
language of logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: On Some Language Extension of Logic MR: A Semantic and Tableau Approach
O pewnym językowym rozszerzeniu logiki MR: podejście semantyczne i tabelau
Autorzy:: Jarmużek, Tomasz
Parol, Aleksander
Data publikacji:: 2021-01-04
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: rozszerzenie minimalnej logiki pozycyjnej
MR
logika pozycyjna
operator realizacji
metody tableau
extension of minimal positional logic
positional logic
realization operator
tableau methods; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Minimalist faculty of language, computational system and logic
Autorzy:: Sadownik, Joanna
Data publikacji:: 2002
Tematy:: Językoznawstwo - historia - Stany Zjednoczone
Chomsky, Noam (1928- )
Gramatyka - teoria; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: QUERYING TEMPORAL DATABASE WITH THE LANGUAGE OF FIRST-ORDER TEMPORAL LOGIC
Autorzy:: Giero Mariusz
Tematy:: QUERY LANGUAGE IN DATABASES
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Stosowalność języka niektórych systemów logiki temporalnej w naukach przyrodniczych
Application of language of some systems of temporal logic in the natural sciences
Autorzy:: Anna Kozanecka-Dymek
Tematy:: application
language
temporal logic
natural sciences
adequacy
physical model of time; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Peregrinova inferecialistická koncepcia jazyka a logiky (1. časť)
Peregrin’s Inferencialist Conception of Language and Logic (Part 1)
Autorzy:: Ladislav Koreň
Tematy:: language
rules
meaning
logic
inferencialism; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Stosowalność języka niektórych systemów logiki temporalnej w naukach przyrodniczych
APPLICATION OF LANGUAGE OF SOME SYSTEMS OF TEMPORAL LOGIC IN THE NATURAL SCIENCES
Autorzy:: Anna Kozanecka-Dymek
Tematy:: application
language
temporal logic
natural sciences
adequacy
physical model of time; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Peregrinova inferencialistická koncepcia jazyka a logiky (2. časť)
Peregrin’s Inferentialist Conception of Language and Logic (Part 2)
Autorzy:: Ladislav Koreň
Tematy:: inferentialism
rules
meaning
logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: ANALYSIS OF TIME REFERENCES IN NATURAL LANGUAGE BY MEANS OF TRANSPARENT INTENSIONAL LOGIC
Autorzy:: Duží Marie
Macek Jakub
Tematy:: CALENDAR
TIME
TIL
TRANSPARENT INTENSIONAL LOGIC; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: STORING AND RETRIEVING INFORMATION ON THE TREATMENT OF INFERTILITY WITH THE USE OF THE BITEMPORAL DATABASE AND TEMPORAL LOGIC
Autorzy:: Giero Mariusz
Milewski Robert
Tematy:: BITEMPORAL DATABASE
QUERY LANGUAGE
TEMPORAL LOGIC
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Ludwig Wittgenstein and Fritz Mauthner: The significance of thesis 4.0031 for the interpretation of Tractatus Logico‑Philosophicus
Ludwig Wittgenstein i Fritz Mauthner. Znaczenie tezy 4.0031 dla interpretacji Traktatu logiczno-filozoficznego
Autorzy:: Dobrzeniecki, Marek
Tematy:: critique of language
logic of language
the materialistic interpretation of the TLP
F. Mauthner
the resolute interpretation of the TLP
L. Wittgenstein
word fetishism
fetyszyzm słowny
krytyka języka
logika języka
materialistyczna interpretacja „Traktatu”
zdecydowana interpretacja „Traktatu”
Nauki Humanistyczne i Społeczne; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Teoria zbiorów dziedzicznie skończonych jako przykład zastosowania języka logiki pierwszego rzędu
The theory of hereditarily finite sets as an example of an application of the first order logic language
Autorzy:: Czubin, Adrianna
Słowa kluczowe:: logika matematyczna, logika pierwszego rzędu, aksjomaty, dowód formalny, zbiory dziedzicznie skończone, aksjomaty teorii mnogości
mathematical logic, first order logic, axioms, formal proof, hereditarily finite sets, set theory axioms; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Logika i jej zastosowanie w świetle wczesnej filozofii Ludwiga Wittgensteina. Ideografia logiczna a język naturalny
Logic and Its Application in the Light of Ludwig Wittgensteins Early Philosophy. Logical Notation and Natural Language
Autorzy:: Radzki, Mateusz Marek
Data publikacji:: 2010-03-01
Wydawca:: Uniwersytet Warszawski. Wydział Filozofii
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Logic and Its Application in the Light of Ludwig Wittgensteins Early Philosophy. Logical Notation and Natural Language
Logika i jej zastosowanie w świetle wczesnej filozofii Ludwiga Wittgensteina. Ideografia logiczna a język naturalny
Autorzy:: Mateusz Marek Radzki
Data publikacji:: 2010-03-01
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Modeling of distributed objects computing pattern combinations using a formal specification language
Autorzy:: Taibi, T.
Ngo, D. C. L.
Data publikacji:: 2003
Słowa kluczowe:: Balanced Pattern Specification Language (BPSL)
First-Order Logic (FOL)
Temporal Logic of Actions (TLA)
substitution
addition
elimination; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Modeling of distributed objects computing pattern combinations using a formal specification language
Autorzy:: Taibi, T.
Ngo, D. C. L.
Data publikacji:: 2003
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: informatyka
Balanced Pattern Specification Language (BPSL)
First-Order Logic (FOL)
Temporal Logic of Actions (TLA)
substitution
addition
elimination; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: The Grafpol programming language for programmable logic controllers
Autorzy:: Mikulczyński, T.
Samsonowicz, Z.
Więcławek, R.
Data publikacji:: 2000
Słowa kluczowe:: programmable logic controller
programming language
discrete manufacturing processes; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Język jako system znaków
Autorzy:: Wawrzonkiewicz-Słomska, Anna
Data publikacji:: 2011
Wydawca:: Instytut Studiów Międzynarodowych i Edukacji Humanum
Tematy:: philosophy
logic
language
history of logic
sign; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Język jako system znaków
Autorzy:: Anna Wawrzonkiewicz-Słomska
Data publikacji:: 2011
Tematy:: philosophy
logic
language
history of logic
sign; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: What Is the Sense in Logic and Philosophy of Language
Autorzy:: Wybraniec-Skardowska, Urszula
Data publikacji:: 2020
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: categorisation
denotation
logic and philosophy of language
categorial language
syntactic and semantic senses
intensional semantics
meaning
extensional semantics
syntactic and semantic compatibility
algebraic models
truth
structural compatibility
compositionality
language communication; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Limitations of Formal (Logical) Semantics
Data publikacji:: 2019
Tematy:: language
metalanguage
model
logic
syntax
semantics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "language of logic" wg kryterium: Wszystkie pola