scientific article; zbMATH DE number 1749199

zbMath0998.03021MaRDI QIDQ4532200

Grzegorz Malinowski

Publication date: 10 July 2002

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

zbMATH Keywords

many-valued logicmany-valued propositional logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50)

Related Items (4)

40 years of FDE: an introductory overview ⋮ Reasoning about actions with loops via Hoare logic ⋮ Generalizing functional completeness in Belnap-Dunn logic ⋮ Structural proof theory for first-order weak Kleene logics

This page was built for publication: