A Correspondence Between Variable Relations And Three-Valued Propositional Logic

DOI10.1080/00207169508804360zbMATH Open0845.68032OpenAlexW2171852349MaRDI QIDQ4847155FDOQ4847155

Authors: M. Levene, George Loizou 

Publication date: 10 September 1995

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207169508804360

Recommendations

• Relationships between Connectives in Three-Valued Logics
• On the axiomatization of three-valued propositional logic
• A map of dependencies among three-valued logics
• Three-valued propositional dynamic logic
• Three-valued paraconsistent propositional logics
• Generalized correspondence analysis for three-valued logics
• scientific article; zbMATH DE number 19712
• Three-valued logics in modal logic
• scientific article; zbMATH DE number 1163566
• scientific article; zbMATH DE number 6418709

zbMATH Keywords

functional dependencyvariable relations

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

• Incomplete Information in Relational Databases
• Title not available (Why is that?)
• Title not available (Why is that?)
• Polynomial-time implication problems for unary inclusion dependencies
• Title not available (Why is that?)
• Functional Dependencies in a Relational Database and Propositional Logic
• On the Equivalence of Database Models
• Functional dependencies and constraints on null values in database relations
• Boyce-Codd normal form and object normal forms

Cited In (6)

• Three-variable statements of set-pairing
• Relationships between Connectives in Three-Valued Logics
• The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property
• Axiomatisation of functional dependencies in incomplete relations
• Concatenation, separation, and other properties of variably polyadic relations
• Title not available (Why is that?)

This page was built for publication: A Correspondence Between Variable Relations And Three-Valued Propositional Logic

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