Conjunctive Normal Forms In Three-valued Propositional Logics

DOI10.1093/LOGCOM/4.2.157MaRDI QIDQ4291038zbMATH OpenOpenAlexFDO

Authors Andreas Polyméris

Publication date 22 January 1995

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/4.2.157

zbMATH Keywords

conjunctive normal formsknowledge engineeringsyntactic inference algorithmthree-valued propositional logics

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 4049622
• Relationships between Connectives in Three-Valued Logics
• A map of dependencies among three-valued logics
• scientific article; zbMATH DE number 6923844
• scientific article; zbMATH DE number 13471

Cited in

(2)

• Many-valued logic, mappings, ICF graphs, normal forms
• R-Calculus, III: Post Three-Valued Logic

This page was built for publication: Conjunctive Normal Forms In Three-valued Propositional Logics

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