Temat: propositional logic

Skocz do pozycji: 1.

Tytuł:: An Investigation into Intuitionistic Logic with Identity
Autorzy:: Chlebowski, Szymon
Leszczyńska-Jasion, Dorota
Tematy:: Non-Fregean logics
intuitionistic logic
admissibility of cut
propositional identity
congruence; Pokaż więcej
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A Sound Interpretation of Leśniewskis Epsilon in Modal Logic KTB
Autorzy:: Inoue, Takao
Tematy:: Le´sniewski’s ontology
propositional ontology
translation
interpretation
modal logic
KTB
soundness
Grzegorczyk’s modal logic; Pokaż więcej
Data publikacji:: 2021-11-09
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Logicy i logika a poznanie przyrody
Logicians and Logic on Study of Nature
Autorzy:: Kiczuk, Stanisław
Tematy:: logika
funktor prawdziwościowy
funktor nieprawdziwościowy
dwuwartościowy rachunek zdań
wielowartościowy rachunek zdań
logic
truth-functional operator
not truth-functional operator
two valued propositional calculus
many-valued propositional calculus; Pokaż więcej
Data publikacji:: 2005
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Logika formalna czy logiki formalne?
Formal Logic or Formal Logics?
Autorzy:: Kiczuk, Stanisław
Tematy:: logika
funktor prawdziwościowy
logika standardowa
logika nieklasyczna
wielowartościowy rachunek zdań
logika klasyczna
logic
truth-functional operator
standard logic
non-classical logic
many-valued propositional calculus
classical logic; Pokaż więcej
Data publikacji:: 2007
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: O NIEKTÓRYCH PRAWACH LOGIKI I ZASADACH OGÓLNEJ TEORII BYTU
Autorzy:: Kiczuk, Stanisław
Tematy:: logika współczesna
funktor prawdziwościowy
klasyczny rachunek zdań
zasada racji dostatecznej
modern logic
truth-functional operator
classical propositional calculus
principle of sufficient reason; Pokaż więcej
Data publikacji:: 2012
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Uwagi o systemie logiki formalnej skonstruowanym dla logików nieformalnych
Remarks on the System of Formal Logic Construed for Informal Logicians
Autorzy:: Kiczuk, Stanisław
Tematy:: funktor prawdziwościowy
logika nieformalna
logika nieklasyczna
klasyczny rachunek zdań
truth-functional operator
informal logic
non-classical logic
classical propositional calculus; Pokaż więcej
Data publikacji:: 2010
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Functional Completeness in CPL via Correspondence Analysis
Autorzy:: Leszczyńska-Jasion, Dorota
Petrukhin, Yaroslav
Shangin, Vasilyi
Jukiewicz, Marcin
Tematy:: correspondence analysis
invertible rules
classical propositional logic
functional completeness
sequent calculus
automated deduction
automated rules generation; Pokaż więcej
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: The Method of Socratic Proofs Meets Correspondence Analysis
Autorzy:: Leszczyńska-Jasion, Dorota
Petrukhin, Yaroslav
Shangin, Vasilyi
Tematy:: Socratic proofs
correspondence analysis
invertible rule
inferential erotetic logic
classical propositional logic
sequent calculus; Pokaż więcej
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Identity, equality, nameability and completeness. Part II
Autorzy:: Manzano, María
Moreno, Manuel Crescencio
Tematy:: identity
equality
completeness
nameability
first-order modal logic
hybrid logic
hybrid type theory
equational hybrid propositional type theory; Pokaż więcej
Data publikacji:: 2018
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Applying propositional calculus of formal logic to formulate research hypotheses in management sciences
Propozycja wykorzystania rachunku zdań logiki formalnej do tworzenia hipotez badawczych w naukach o zarządzaniu
Autorzy:: Pabian, Aleksander
Tematy:: research hypotheses
formal logic
management
propositional calculus
hipotezy badawcze
logika formalna
zarządzanie
rachunek zadań; Pokaż więcej
Data publikacji:: 2023-02-28
Wydawca:: Główny Urząd Statystyczny
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "propositional logic" wg kryterium: Temat

Źródło danych

Dostawca treści

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język

Kolekcja