Open AccessDegree-preserving companion of Nelson logic expanded with a consistency operator
Author(s) -
Francesc Esteva,
Aldo Figallo-Orellano,
Tommaso Flaminio,
Lluı́s Godo
Publication year - 2020
Language(s) - English
Resource type - Conference proceedings
Subject(s) - degree (music) , consistency (knowledge bases) , operator (biology) , mathematics , calculus (dental) , computer science , algorithm , discrete mathematics , medicine , physics , biochemistry , chemistry , dentistry , repressor , acoustics , transcription factor , gene
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom