scientific article

From MaRDI portal

Publication:3541989

Jump to:navigation, search

zbMath1164.03004MaRDI QIDQ3541989

Vladimir Sotirov

Publication date: 27 November 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Kripke semantics negation necessity 4-valued logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Many-valued logic (03B50)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3541989&oldid=16920873"