Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order
type: Item
instance of: scholarly article
title: Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order
zbMATH Open document ID: 0713.03016
DOI: 10.1007/BF00971158
author: Ants Tauts
published in: Siberian Mathematical Journal
publication date: 1990-01-01T00:00:00Z
review text: See the review in Zbl 0704.03020.
Mathematics Subject Classification ID: 03C75
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03C85
zbMATH DE Number: 4172955
zbMATH Keywords: theory of types
zbMATH Keywords: transfinite expressions
zbMATH Keywords: proper classes
zbMATH Keywords: pseudo-Boolean algebra
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 4172955