Solving problems on finite concrete logics with the help of a PC

DOI10.1023/A:1026694013057zbMath0904.03037OpenAlexW102323749MaRDI QIDQ1266019

Foat F. Sultanbekov

Publication date: 19 January 1999

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1026694013057

zbMATH Keywords

generatorsblocksatomsminimal representationsorthomodular posetsfinite concrete logicsTurbo Pascal programs

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items (1)

Studies on noncommutative measure theory in Kazan university (1968--2018)

Uses Software

• Turbo Pascal

This page was built for publication: Solving problems on finite concrete logics with the help of a PC