Wszystkie pola: Tense Logic - 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ę "Tense Logic" wg kryterium: Wszystkie pola

Wyświetlanie 1-10 z 16

Zaznacz

Skocz do pozycji: 1.

Tytuł:: SYSTEMS OF TENSE LOGIC IN THE NATURAL SCIENCES (Systemy tense logic oraz ich stosowalnosc w naukach przyrodniczych)
Autorzy:: Kozanecka-Dymek Anna
Tematy:: ADEQUACY
APPLICATION
RELATION OF PRECEDING
TENSE LOGIC
TIME
PHILOSOPHY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: HIGHLIGHTS IN THE DEVELOPMENT OF TENSE-LOGIC
Autorzy:: Øhrstrøm Peter
Tematy:: TENSE LOGIC
ARTHUR NORMAN PRIOR
TIME
MODALITY
DETERMINISM; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Stosowalność niektórych rozszerzeń tense logic w logicznej analizie rozumowań prawniczych
THE APPLICABILILITY OF TENSE LOGIC EXTENSIONS IN THE LOGICAL ANALYSIS OF LEGAL REASONING
Autorzy:: Kozanecka-Dymek Anna
Tematy:: LOGICAL ANALYSIS
LEGAL SCIENCES
FORMALIZATION OF SENTENCES OF LEGAL LANGUAGE
TENSE LOGIC; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: The tense logic for master argument in prior’s reconstruction
Autorzy:: Jarmużek, Tomasz
Współwytwórcy:: Pietruszczak, Andrzej
Data publikacji:: 2009
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Chronological logic i metric tense logic oraz ich przydatność do analizy formalnej poprawności niektórych wnioskowań prawniczych
CHRONOLOGICAL LOGIC AND METRIC TENSE LOGIC AND THEIR APPLICATION IN ANALYSING THE FORMAL CORRECTNESS OF CERTAIN LEGAL INFERENCES
Autorzy:: Kozanecka–Dymek Anna
Tematy:: CHRONOLOGICAL LOGIC
METRIC TENSE LOGIC
APPLICATION
FORMAL ANALYSIS
LEGAL REASONING; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: "Chronological logic" i "metric tense logic" oraz ich przydatność do analizy formalnej niektórych wnioskowań prawniczych
Autorzy:: Kozanecka-Dymek, Anna Autor
Data publikacji:: 2018
Tematy:: Czas (językoznawstwo)
Wnioskowanie (logika)
Logika prawnicza
Logika temporalna
Logiki pozycyjne; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Algebraic axiomatization of tense intuitionistic logic
Autorzy:: Chajda, Ivan
Data publikacji:: 2011
Tematy:: Algebra; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: O możliwości stosowania niektórych systemów tense logic i systemu and then G.H. von Wrighta w naukach prawnych
ON THE APPLICABILITY OF TENSE LOGIC SYSTEMS AND VON WRIGHT`S AND THEN SYSTEM IN THE LEGAL SCIENCES
Autorzy:: Anna Kozanecka-Dymek
Tematy:: legal sciences
legal language
logic systems
temporal systems
tense logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: The Undefinability of the Operator of Change in Tense Logic Calculi
Niedefiniowalność funktora zmiany na gruncie rachunków logiki temporalnej
Autorzy:: Józef Wajszczyk
Data publikacji:: 1994-09-01
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Niedefiniowalność funktora zmiany na gruncie rachunków logiki temporalnej
The Undefinability of the Operator of Change in Tense Logic Calculi
Autorzy:: Wajszczyk, Józef
Data publikacji:: 1994-09-01
Wydawca:: Uniwersytet Warszawski. Wydział Filozofii
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 16

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