Formal axiomatic theories based on a three-valued logic
type: Item
instance of: scholarly article
title: Formal axiomatic theories based on a three-valued logic
zbMATH Open document ID: 1145.03014
author: I. D. Zaslavskii
published in: Journal of Mathematical Sciences (New York)
publication date: 2008-08-18T00:00:00Z
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03F25
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 5312819
MaRDI profile type: Publication
full work available at URL: s10958-005-0353-2
OpenAlex ID: W2052609868
cites work: Q4693184
cites work: Q4360106
cites work: Q4756727
cites work: Q5812175
cites work: Extensions of some theorems of Gödel and Church
cites work: Q5812189
cites work: Sequents in many valued logic I
cites work: Sequents in many valued logic II
cites work: Q4041548
cites work: Q3768917
cites work: Q4511322
cites work: Dual realizability in symmetric logic
DOI: 10.1007/S10958-005-0353-2
description: scientific article; zbMATH DE number 5312819