Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 1558117

From MaRDI portal
Publication:4527862
Jump to:navigation, search

zbMATH Open0965.03030MaRDI QIDQ4527862FDOQ4527862


Authors: Hong Fang Gu, Peng Bai, Xi An Xiao, Wujia Zhu Edit this on Wikidata


Publication date: 29 January 2001



Title of this publication is not available (Why is that?)



Recommendations

  • scientific article; zbMATH DE number 1858070
  • Natural 3-valued logics—characterization and proof theory
  • scientific article
  • Sequent calculi for three-valued logics
  • On the expressive power of three-valued and four-valued languages


zbMATH Keywords

three-valued logicpropositional connectiveslinguistic expressive power


Mathematics Subject Classification ID

Many-valued logic (03B50)







This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4527862)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4527862&oldid=18638815"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 7 February 2024, at 09:28. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki