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
WstępWstęp
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
On a three-valued internal logic of programsOn a three-valued internal logic of programs
Czasopisma NaukoweCzasopisma Naukowe
O zupełności pewnych kategorii grafów pokolorowanych i gier abstrakcyjnychO zupełności pewnych kategorii grafów pokolorowanych i gier abstrakcyjnych
A method of axiomatic rejection of formulas in propositional logicsA method of axiomatic rejection of formulas in propositional logics
On some generalization of BCC-algebrasOn some generalization of BCC-algebras
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
Semiotic and didactic model of mathematical expressionsSemiotic and didactic model of mathematical expressions
Remarks on permutable n-groupsRemarks on permutable n-groups
Natural deduction system for some three-valued propositional logicNatural deduction system for some three-valued propositional logic