Temat: logic formalization

Skocz do pozycji: 1.

Tytuł:: A Formalization of a Logic Without Tautologies
Autorzy:: Bryll, G.
Chotomska, A.
Jaworski, L.
Data publikacji:: 2000/2001
Słowa kluczowe:: formalizacja logiki
twierdzenie Lindenbauma
logika trójwartościowa
logic formalization
Lindenbaum theorem
three-valued logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction
Autorzy:: Cordes Moritz
Reinmuth Friedrich
Data publikacji:: 2017-09-15
Tematy:: Logic
natural deduction
application of logic
formalization; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: FORMALIZATION OF PROPOSITIONAL LINEAR TEMPORAL LOGIC IN THE MIZAR SYSTEM
Autorzy:: Giero Mateusz
Tematy:: FORMALIZATION
MIZAR
TEMPORAL LOGIC
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: A Formal Model for Situated Multi-Agent Systems
Autorzy:: Weyns, D.
Holvoet, T.
Data publikacji:: 2004
Słowa kluczowe:: multi-agent systems
formalization
agent
intellect
synchronization
logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 5.

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ł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Logika chronologiczna i jej zastosowania w analizie niektórych rozumowań prawniczych
Chronological logic and its applications in the analysis of some legal reasoning
Autorzy:: Kozanecka-Dymek Anna
Tematy:: chronological logic
applications
analysis
legal sciences
legal discourse
legal language
legal reasoning
formalization; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 7.

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ł

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Stosowanie logiki w filozofii. O dyskusji między Stanisławem Kamińskim i Janem F. Drewnowskim
Applying logic in philosophy. The debate between Stanisław Kamiński and Jan F. Drewnowski
Autorzy:: Lechniak Marek
Tematy:: applicability of logic
Thomistic metaphysics
system of classical metaphysics
formalization of Aquinas’ proof 'ex motu'
stosowalność logiki
metafizyka tomistyczna
system metafizyki klasycznej
formalizacja dowodu 'ex motu'; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Stosowanie logiki w filozofii. O dyskusji między Stanisławem Kamińskim i Janem F. Drewnowskim
Applying logic in philosophy. The debate between Stanisław Kamiński and Jan F. Drewnowski
Autorzy:: Lechniak, Marek
Data publikacji:: 2019
Wydawca:: Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:: applicability of logic
Thomistic metaphysics
system of classical metaphysics
formalization of Aquinas’ proof 'ex motu'
stosowalność logiki
metafizyka tomistyczna
system metafizyki klasycznej
formalizacja dowodu 'ex motu'; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja