Solving problems on finite concrete logics with the help of a PC
type: Item
instance of: scholarly article
title: Solving problems on finite concrete logics with the help of a PC
zbMATH Open document ID: 0904.03037
DOI: 10.1023/A:1026694013057
author: Foat F. Sultanbekov
published in: International Journal of Theoretical Physics
publication date: 1999-01-19T00:00:00Z
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 81P10
Mathematics Subject Classification ID: 03-04
zbMATH DE Number: 1196983
zbMATH Keywords: Turbo Pascal programs
zbMATH Keywords: orthomodular posets
zbMATH Keywords: generators
zbMATH Keywords: minimal representations
zbMATH Keywords: atoms
zbMATH Keywords: blocks
zbMATH Keywords: finite concrete logics
describes a project that uses: Turbo Pascal
MaRDI profile type: Publication
full work available at URL: a:1026694013057
OpenAlex ID: W102323749
Recommended article: Q4029601
Recommended article: Q4353622
Recommended article: On computability by logic programs
Recommended article: Complete problems for fixed-point logics
Recommended article: Q3495341
Recommended article: On computing logic programs
Recommended article: Complete Problems for Higher Order Logics
Recommended article: Extremal problems in logic programming and stable model computation
description: scientific article; zbMATH DE number 1196983