polski   English  
 

dLibra Digital Library

polski   English  

Metadata languages

Similar to edition
Trisequential propositional calculus
Found : 18
View:
1. 

Trisequential version of the Bocvar and Hallden logics

Find similar objects  |  Add to bibliography

2. 

Czasopisma Naukowe

Find similar objects  |  Add to bibliography

3. 

Operacja konsekwencji w trójsekwencyjnym rachunku predykatów Łukasiewicza

Find similar objects  |  Add to bibliography

4. 

Wstęp

Find similar objects  |  Add to bibliography

5. 

On medical BCI-algebras

Find similar objects  |  Add to bibliography

6. 

Principle of triple entry in the theory of accounting

Find similar objects  |  Add to bibliography

7. 

The problem of distribution of goods

Find similar objects  |  Add to bibliography

8. 

The problem of distribution of indivisible goods

Find similar objects  |  Add to bibliography

9. 

Autometers

Find similar objects  |  Add to bibliography

10. 

On para-associative BCI-algebras

Find similar objects  |  Add to bibliography

11. 

A method of axiomatic rejection of formulas in propositional logics

Find similar objects  |  Add to bibliography

12. 

Multi-valued n-seqential propositional logic

Find similar objects  |  Add to bibliography

13. 

Wielosekwentowy rachunek predykatów pierwszego rzędu

Find similar objects  |  Add to bibliography

14. 

Invariant measures of the sigma-field of Christensen measurable sets

Find similar objects  |  Add to bibliography

15. 

Aksjomatyzacja rachunku zdaniowego dualnego względem klasycznego implikacyjno-negacyjnego rachunku zdań

Find similar objects  |  Add to bibliography