A linear logic approach to consistency preserving updates

DOI10.1093/logcom/6.3.439zbMath0851.68025OpenAlexW2087613060MaRDI QIDQ4885626

Serenella Cerrito, Nicole Bidoit, Christine Froidevaux

Publication date: 10 November 1996

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/43610b3a81471377e0fd77ffd5ad08b940c1ca43

zbMATH Keywords

linear logicupdate semantics

Mathematics Subject Classification ID

Database theory (68P15) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: A linear logic approach to consistency preserving updates