Wszystkie pola: 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ł

na półce

Szczegóły

Skocz do pozycji: 2.

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ł

na półce

Szczegóły

Skocz do pozycji: 3.

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ł

na półce

Szczegóły

Skocz do pozycji: 4.

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ł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Formalization of Leibniz's notion of existence and of God with Suszko's non-fregean logic
Autorzy:: Pluta, Jerzy (1959- )
Data publikacji:: 2009
Tematy:: Filozofia religii
Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Formalization of the Sentential Logic Dual to Łukasiewicz’s Three-valued Logic
Autorzy:: Górnicka, A.
Data publikacji:: 2006
Słowa kluczowe:: logika
logika dualna
logika trójwartościowa
logic
dual logic
three-valued logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu
Circumscription: Formalization of Non-monotonic Reasoning in Second Order Logic
Autorzy:: Tyburski, Michał
Data publikacji:: 2009-03-01
Wydawca:: Uniwersytet Warszawski. Wydział Filozofii
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Circumscription: Formalization of Non-monotonic Reasoning in Second Order Logic
Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu
Autorzy:: Michał Tyburski
Data publikacji:: 2009-03-01
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: FORMALIZATION METHOD OF CAUSAL REASONING IN LOGIC (Formalizacja rozumowania przyczynowo-skutkowego)
Autorzy:: Tyburski Michal
Tematy:: CAUSAL REASONING
REITER'S SOLUTION OF FRAME PROBLEM
PHILOSOPHY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

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

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

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ł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Formalization and analysis of UML2.0 interaction overview diagram using maude rewriting logic language
Autorzy:: Djaoui, Chafika
Chaoui, Allaoua
Data publikacji:: 2024
Słowa kluczowe:: UML Interaction Overview Diagrams
formal methods
rewriting logic
Maude language
Model-Driven Engineering
MDE
EMF
Sirus
Acceleo; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

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ł

na półce

Szczegóły

Skocz do pozycji: 15.

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ł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Propozycja formalizacji myślenia codziennego
A Proposal for formalization of everyday thinking
Autorzy:: Łukowski, Piotr
Data publikacji:: 2022
Wydawca:: Wydawnictwo Nauk Społecznych i Humanistycznych Uniwersytet im. Adama Mickiewicza w Poznaniu
Słowa kluczowe:: logika niefregowska
contentual classical logic (CCL)
klasyczna logika treści (CCL)
implikacja treściowa
paradoks kłamcy
ze sprzeczności nic
logika treści
zasada Buridana
nothing from contradiction
z niczego nic
logic of content
SCI
nothing from empty
content implication
liar paradox
non-Fregean logic
Buridan principle; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Podstawy teorii mnogości Stanisława Leśniewskiego w formalizacji Jana Śleszyńskiego
The foundations of S. Leśniewskis set theory in a formalization of Jan Śleszyński
Autorzy:: Borowik, Piotr
Współwytwórcy:: Hertrich-Woleński, Jan
Data publikacji:: 2010-02-03
Słowa kluczowe:: formal logic
relation to be a part
szkoła lwowsko-warszawska
collective set
zbiór kolektywny
teoria mnogości
logika formalna
relacja bycia częścią
Leśniewski
Śleszyński
mereology
the Lvov-Warsaw philosophical school
mereologia; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Informacja

Wyszukujesz frazę "logic formalization" wg kryterium: Wszystkie pola