Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

scientific article

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

zbMath1338.03049MaRDI QIDQ2804046

Natal'Ya Evgen'Evna Tomova

Publication date: 27 April 2016


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

zbMATH Keywords

three-valued logicmodus ponens principlenatural implication


Mathematics Subject Classification ID

Many-valued logic (03B50)


Related Items (5)

AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ Variations on the Collapsing Lemma ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis






This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2804046&oldid=15706644"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 3 February 2024, at 17:26.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki