Primal Infon Logic with Conjunctions as Sets

DOI10.1007/978-3-662-44602-7_19zbMath1418.03139OpenAlexW48346415MaRDI QIDQ3190165

Ori Lahav, Artem Melentyev, Carlos Cotrini, Yuri Gurevich

Publication date: 15 September 2014

Published in: Advanced Information Systems Engineering (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01402046/file/978-3-662-44602-7_19_Chapter.pdf

Mathematics Subject Classification ID

Logic in computer science (03B70)

Uses Software

• DKAL

This page was built for publication: Primal Infon Logic with Conjunctions as Sets