Institutions of variable truth values: An approach in the ordered style

DOI10.1007/BF02943494zbMath0837.68074OpenAlexW1972792551MaRDI QIDQ1894330

Ming Sheng Ying

Publication date: 16 April 1996

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943494

zbMATH Keywords

many-valued logicsoftware engineeringabstract model theory

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Programming in three-valued logic
• Partial models and logic programming
• THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC
• COMPACTNESS, THE LÖWENHEIM‐SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES
• Institutions: abstract model theory for specification and programming
• Unnamed Item
• Unnamed Item

This page was built for publication: Institutions of variable truth values: An approach in the ordered style