Temat: classical logic - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Kryteria „logiczności” logiki w ujęciu Susan Haack
The Criterion of the 'Logicality' of Logic According to Susan Haack
Autorzy:: Czernecka-Rej, Bożena
Data publikacji:: 2012
Wydawca:: Copernicus Center Press
Tematy:: philosophy of logic
formalism
logic
classical logic
Susan Haack; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A Note on Ciuciura’s mbC1
Autorzy:: Omori, Hitoshi
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: paraconsistent logic
non-deterministic semantics contra-classical logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A Syntactic Proof of the Decidability of First-Order Monadic Logic
Autorzy:: Orlandelli, Eugenio
Tesi, Matteo
Data publikacji:: 2024
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: proof theory
classical logic
decidability
Herbrand theorem; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Structural Rules in Natural Deduction with Alternatives
Autorzy:: Restall, Greg
Data publikacji:: 2023
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: proof
natural deduction
classical logic
bilateralism
substructural logics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Logika formalna czy logiki formalne?
Formal Logic or Formal Logics?
Autorzy:: Kiczuk, Stanisław
Data publikacji:: 2007
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
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
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Teoria kategorii i niektóre jej logiczne aspekty
Category theory and some of its logical aspects
Autorzy:: Stopa, Mariusz
Data publikacji:: 2018
Wydawca:: Copernicus Center Press
Tematy:: category theory
topos theory
categorical logic
propositional logic
intuitionistic logic
non-classical logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Logika podejmowania decyzji (podejmowanie decyzji w aspekcie klasycznej i kwantowej logiki)
Decision making logic (the classical and quantum decision making logic)
Autorzy:: Kałuski, J.
Data publikacji:: 2012
Wydawca:: Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:: logika klasyczna
logika kwantowa
podejmowanie decyzji
classical logic
quantum logic
decision making; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Jak uniesprzecznić sprzeczność umysłu?
Towards the consistency of an inconsistent mind
Autorzy:: Grygiel, Wojciech
Data publikacji:: 2010
Wydawca:: Copernicus Center Press
Tematy:: philosophy of mind
Roger Penrose
rationality
classical logic
inconsistency
incompleteness theorem; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

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
Data publikacji:: 2010
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
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
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Postprawda w dyskursie publicznym w kontekście logiki klasycznej i logiki rozmytej
Post-truth in public discourse in the context of classical logic and fuzzy logic
Autorzy:: Lakomy, Mirosław
Data publikacji:: 2019
Wydawca:: Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Tematy:: postprawda
logika klasyczna
logika trójwartościowa
logika rozmyta
kontraktualizm
post-truth
classical logic
trivalent logic
fuzzy logic
counter-actuality; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "classical logic" wg kryterium: Temat