Institutions of variable truth values: An approach in the ordered style
type: Item
instance of: scholarly article
title: Institutions of variable truth values: An approach in the ordered style
zbMATH Open document ID: 0837.68074
DOI: 10.1007/BF02943494
published in: Journal of Computer Science and Technology
publication date: 1996-04-16T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68U20
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 777779
zbMATH Keywords: software engineering
zbMATH Keywords: abstract model theory
zbMATH Keywords: many-valued logic
author: Mingsheng Ying
MaRDI profile type: Publication
cites work: Programming in three-valued logic
cites work: Partial models and logic programming
cites work: Institutions: abstract model theory for specification and programming
cites work: Q4723263
cites work: Q3707360
cites work: THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC
cites work: COMPACTNESS, THE LÖWENHEIM‐SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES
full work available at URL: https://doi.org/10.1007/bf02943494
OpenAlex ID: W1972792551
description: scientific article; zbMATH DE number 777779