No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
Multi-valued n-seqential propositional logicMulti-valued n-seqential propositional logic
Find similar objects | Add to bibliography
An algebraic characterization of some reducts of three-valued logicsAn algebraic characterization of some reducts of three-valued logics
WstępWstęp
On a three-valued internal logic of programsOn a three-valued internal logic of programs
Podzbiory przybliżone zbiorów przybliżonychPodzbiory przybliżone zbiorów przybliżonych
Remarks on BCI-algebrasRemarks on BCI-algebras
Remarks on the axioms system for BCI-algebrasRemarks on the axioms system for BCI-algebras
Semiotic and didactic model of mathematical expressionsSemiotic and didactic model of mathematical expressions
On some generalization of BCC-algebrasOn some generalization of BCC-algebras
Remarks on permutable n-groupsRemarks on permutable n-groups
O zupełności pewnych kategorii grafów pokolorowanych i gier abstrakcyjnychO zupełności pewnych kategorii grafów pokolorowanych i gier abstrakcyjnych
Remarks on set-theoretic relations connected with BCH-algebrasRemarks on set-theoretic relations connected with BCH-algebras
A survay of foundational Gentzen's systems for finitely-valued logicsA survay of foundational Gentzen's systems for finitely-valued logics
Założeniowe odrzucanie wyrażeń w skończenie - wartościowej logice zdaniowejZałożeniowe odrzucanie wyrażeń w skończenie - wartościowej logice zdaniowej