Q4722043
type: Item
instance of: scholarly article
zbMATH Open document ID: 0614.03020
author: Itala D'Ottaviano
publication date: 1985-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/181748
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 3993546
zbMATH Keywords: three-valued system
zbMATH Keywords: modal logics
zbMATH Keywords: paraconsistent logics
zbMATH Keywords: three-valued theories
zbMATH Keywords: semantics
zbMATH Keywords: strong equivalence
MaRDI profile type: Publication
Recommended article: A Complete Axiomatization of the Three valued Completion of Logic Programs
Recommended article: Q5699230
Recommended article: A criterion of model completeness for the closed classes of 3-valued logic
Recommended article: Q4440793
Recommended article: Completeness criterion with respect to the enumeration closure operator in the three-valued logic
Recommended article: Completeness criterion for the enumeration closure operator in three-valued logic
Recommended article: The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics
Recommended article: On the axiomatization of three-valued propositional logic
Recommended article: The strong completeness of a system based on Kleene's strong three-valued logic
Recommended article: Q4395139
description: scientific article; zbMATH DE number 3993546