No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
Natural deduction system for some three-valued propositional logicNatural deduction system for some three-valued propositional logic
Find similar objects | Add to bibliography
Multi-valued n-seqential propositional logicMulti-valued n-seqential propositional logic
An algebraic characterization of some reducts of three-valued logicsAn algebraic characterization of some reducts of three-valued logics
Czasopisma NaukoweCzasopisma Naukowe
Remarks on the axioms system for BCI-algebrasRemarks on the axioms system for BCI-algebras
Remarks on BCI-algebrasRemarks on BCI-algebras
Podzbiory przybliżone zbiorów przybliżonychPodzbiory przybliżone zbiorów przybliżonych
WstępWstęp
On some generalization of BCC-algebrasOn some generalization of BCC-algebras
Semiotic and didactic model of mathematical expressionsSemiotic and didactic model of mathematical expressions
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 note on some class of locally Boolean algebrasA note on some class of locally Boolean algebras
Several remarks about three-valued Kleene's propositional logic, without tautologiesSeveral remarks about three-valued Kleene's propositional logic, without tautologies