A Correspondence Between Variable Relations And Three-Valued Propositional Logic
From MaRDI portal
Publication:4847155
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
Cites work
- scientific article; zbMATH DE number 3823168 (Why is no real title available?)
- scientific article; zbMATH DE number 46359 (Why is no real title available?)
- scientific article; zbMATH DE number 3392404 (Why is no real title available?)
- Boyce-Codd normal form and object normal forms
- Functional Dependencies in a Relational Database and Propositional Logic
- Functional dependencies and constraints on null values in database relations
- Incomplete Information in Relational Databases
- On the Equivalence of Database Models
- Polynomial-time implication problems for unary inclusion dependencies
Cited in
(6)- The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property
- Concatenation, separation, and other properties of variably polyadic relations
- scientific article; zbMATH DE number 6418709 (Why is no real title available?)
- Three-variable statements of set-pairing
- Relationships between Connectives in Three-Valued Logics
- Axiomatisation of functional dependencies in incomplete relations
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)
