No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
An algebraic characterization of some reducts of three-valued logicsAn algebraic characterization of some reducts of three-valued logics
Find similar objects | Add to bibliography
On a three-valued internal logic of programsOn a three-valued internal logic of programs
WstępWstęp
Natural deduction system for some three-valued propositional logicNatural deduction system for some three-valued propositional logic
A method of axiomatic rejection of formulas in propositional logicsA method of axiomatic rejection of formulas in propositional logics
A survay of foundational Gentzen's systems for finitely-valued logicsA survay of foundational Gentzen's systems for finitely-valued logics
The block tableaux method in finitely many-valued logicsThe block tableaux method in finitely many-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
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
Trisequential propositional calculusTrisequential propositional calculus