Propositional and predicate logics of incomplete information

DOI10.1016/j.artint.2021.103603zbMath1478.68074OpenAlexW3202969914MaRDI QIDQ2060732

Marco Console, Paolo Guagliardo, Leonid O. Libkin

Publication date: 13 December 2021

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://www.research.ed.ac.uk/en/publications/4d3a1bb1-d5c1-4c32-9f59-9cf9377fce80

zbMATH Keywords

SQLincomplete informationmany-valued logics

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Many-valued logic (03B50)

Related Items (1)

Controlling entity integrity with key sets

Uses Software

• HoTTSQL

Cites Work

• A logic for default reasoning
• Reasoning with logical bilattices
• Ontology-Mediated Query Answering with Data-Tractable Description Logics
• Kleene's Logic, Generalized
• SQL’s Three-Valued Logic and Certain Answers
• Logics with aggregate operators
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Propositional and predicate logics of incomplete information