Login / Signup
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics.
Tim Lyon
Published in:
CoRR (2021)
Keyphrases
</>
distributed systems
complex systems
semantic information
compositional semantics
bibliographic retrieval systems