Sign in
Register

Advanced search
List of journals

Bulletin of the Section of Logic
Tom 13 ( 1984), Nr 2

Wydawnictwo Uniwersytetu Łódzkiego
ISSN 0138-0680

Share:

Checked:

Towards a formal semiotics

Marek Tokarz
On the degree of matrix complexity

Jacek Hawranek
T-norms and φ-operators as truth functions of many valued connectives

Siegfried Gottwald
Deontic detachment

Ingmar Porn
Characterization of prime numbers by Lukasiewicz's many-valued logics

Alexander S. Karpenko
The program-substitution in algorithmic logic and algorithmic logic with non-deterministic programs

Andrzej Biela
Gentzen-style axiomatization of tense logic

Kazimierz Trzesicki
An interpretation of Aristotle's syllogistic and a certain fragment of set theory in propositional calculi

Zdzisław Dywan
On Lemmon's interpretations of the connective of necessity

Zdzisław Dywan
An interpretation of a certain fragment of arithmetic in some propositional calculus

Zdzisław Dywan

Polish History
Museum in Warsaw

About the project
Offer for publishers

Materials published on the website under licence CC BY-SA
Designed by: Veshch

Register

Username:

E-mail:

Password:

Confirm password:

Sign in

Sign in

Username:

Password:

Forgot password