scientific article; zbMATH DE number 2020144

zbMath1038.03524MaRDI QIDQ4440793

Vladimir Mikhailovich Popov

Publication date: 2002

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

zbMATH Keywords

paracomplete logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05) Many-valued logic (03B50)

Related Items (5)

Generalized correspondence analysis for three-valued logics ⋮ A lattice of the paracomplete calculi ⋮ 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 ⋮ Deduction normalization theorem for Sette's logic and its modifications

This page was built for publication: