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

DOI10.1023/A:1026694013057MaRDI QIDQ1266019zbMATH OpenOpenAlexFDO

Authors 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

atomsblocksfinite concrete logicsgeneratorsminimal representationsorthomodular posetsTurbo Pascal programs

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 139622
• scientific article; zbMATH DE number 1059315
• On computability by logic programs
• Complete problems for fixed-point logics
• Publication:3495341
• On computing logic programs
• Complete Problems for Higher Order Logics
• Extremal problems in logic programming and stable model computation

Cited in

(1)

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

Describes a project that uses

Uses Software

• Turbo Pascal

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1266019)