polski   English  
 

dLibra Digital Library

polski   English  

Metadata languages

Similar to edition
On a three-valued internal logic of programs
Found : 23
View:
1. 

Natural deduction system for some three-valued propositional logic

Find similar objects  |  Add to bibliography

2. 

Multi-valued n-seqential propositional logic

Find similar objects  |  Add to bibliography

3. 

An algebraic characterization of some reducts of three-valued logics

Find similar objects  |  Add to bibliography

4. 

Czasopisma Naukowe

Find similar objects  |  Add to bibliography

5. 

Remarks on the axioms system for BCI-algebras

Find similar objects  |  Add to bibliography

6. 

Remarks on BCI-algebras

Find similar objects  |  Add to bibliography

7. 

Podzbiory przybliżone zbiorów przybliżonych

Find similar objects  |  Add to bibliography

8. 

Wstęp

Find similar objects  |  Add to bibliography

9. 

On some generalization of BCC-algebras

Find similar objects  |  Add to bibliography

10. 

Semiotic and didactic model of mathematical expressions

Find similar objects  |  Add to bibliography

11. 

Remarks on permutable n-groups

Find similar objects  |  Add to bibliography

12. 

O zupełności pewnych kategorii grafów pokolorowanych i gier abstrakcyjnych

Find similar objects  |  Add to bibliography

13. 

Remarks on set-theoretic relations connected with BCH-algebras

Find similar objects  |  Add to bibliography

14. 

A note on some class of locally Boolean algebras

Find similar objects  |  Add to bibliography

15. 

Several remarks about three-valued Kleene's propositional logic, without tautologies

Find similar objects  |  Add to bibliography