Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 4

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Abstrakcyjna logika algebraiczna pomostem między algebrą a logiką

100%

Czelakowski J.

2016

tom T. 52, Nr 2

201--217

W zadziwiający sposób logika jest powiązana z algebrą. Z matematycznej perspektywy każdy język, czy to naturalny, czy sztuczny, posiada złożoną strukturę algebraiczną. Struktura ta wyraźnie ujawnia się w językach sztucznych, a zwłaszcza w językach logik zdaniowych. Abstrakcyjna logika algebraiczna jest współcześnie rozwijana w wielu ośrodkach na świecie. AAL zajmuje się nie tylko logikami protoalgebraicznymi i nie tylko logikami zdaniowymi. W jej polu widzenia są wszelkie systemy dedukcyjne. Istotną część AAL stanowią badania logik równościowych oraz, w szczególności, badania w zakresie teorii równościowo definiowanego komutatora.

Additivity of the commutator and residuation

100%

Czelakowski J.

tom No. 43

109-132

The notion of a commutator lattice is investigated. It is shown that the class of commutator lattices is coextensive with the class of lattices with residuation.

Induction Principles for Sets

100%

Czelakowski J.

2007

tom Vol. 81, nr 1-3

97-122

On truth-schemes for intensional logics

63%

Czelakowski J. , Dziobiak W.

tom Nr 41,spec. iss.

151-171

The paper is concerned with the question of denability of truth-conditions for the connectives of intensional logics. A certain general solution of the problem is proposed for the class of self-extensional logics. The paper develops some ideas initiated by Suszko and Wojcicki in the seventies