Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: algebraic logic

Sortuj według:

Ogranicz wyniki do:

The reception of logic in Poland: 1870‒1920

Woleński J.

Czasopismo Techniczne. Nauki Podstawowe

2014

R. 111, z. 1-NP

245--253

This paper presents the reception of mathematical logic (semantics and methodology of science are entirely omitted, but the foundations of mathematics are included) in Poland in the years 1870–1920. Roughly speaking, Polish logicians, philosophers and mathematicians mainly followed Boole’s algebraic ideas in this period. Logic as shaped by works of Gottlob Frege and Bertrand Russell became known in Poland not earlier than about 1905. The foundations for the subsequent rapid development of logic in Poland in the interwar period were laid in the years 1915–1920. The rise of Polish Mathematical School and its program (the Janiszewski program) played the crucial role in this context. Further details can be found in [8]. This paper uses the material published in [20‒24].

W artykule przedstawiono recepcję logiki matematycznej w Polsce w latach 1870–1920. Polscy logicy, zarówno filozofowie jak i matematycy, kontynuowali algebraiczne idee Boole’a w tym okresie. Logika w stylu Gottloba Fregego i Bertranda Russella stała się znana w Polsce około 1905 r. Podwaliny pod dalszy szybki rozwój logiki w okresie międzywojennym zostały położone w latach 1915–1920. Powstanie Polskiej Szkoły Matematycznej i jej program (program Janiszewskiego) odegrały kluczową rolę w tym kontekście. Dalsze szczegóły można znaleźć w [8, 12]. Niniejszy artykuł korzysta z materiału zawartego w [20‒24].

Towards a Behavioral Algebraic Theory of Logical Valuations

Caleiro C., Goncalves R.

Fundamenta Informaticae

2011

Vol. 106, nr 2-4

191-209

Logical matrices are widely accepted as the semantic structures that most naturally fit the traditional approach to algebraic logic. The behavioral approach to the algebraization of logics extends the applicability of the traditional methods of algebraic logic to a wider range of logical systems, possibly encompassingmany-sorted languages and non-truth-functional phenomena. However, as one needs to work with behavioral congruences, matrix semantics are unsuited to the behavioral setting. In [5], a promising version of algebraic valuation semantics was proposed in order to fill in this gap. Herein, we define the class of valuations that should be canonically associated to a logic, and we show, by means of new meaningful bridge results, how it is related to the behaviorally equivalent algebraic semantics of a behaviorally algebraizable logic.

Dualities for Algebras of Fitting's Many-Valued Modal Logics

Maruyama Y.

Fundamenta Informaticae

2011

Vol. 106, nr 2-4

273-294

Stone-type duality connects logic, algebra, and topology in both conceptual and technical senses. This paper is intended to be a demonstration of this slogan. In this paper we focus on some versions of Fitting’s L-valued logic and L-valued modal logic for a finite distributive lattice L. Building upon the theory of natural dualities, which is a universal algebraic theory of categorical dualities, we establish a Jonsson-Tarski-style duality for algebras of L-valued modal logic, which encompasses J´onsson-Tarski duality for modal algebras as the case L = 2. We also discuss how the dualities change when the algebras are enriched by truth constants. Topological perspectives following from the dualities provide compactness theorems for the logics and the effective classification of categories of algebras involved, which tells us that Stone-type duality makes it possible to use topology for logic and algebra in significant ways.