research
∙
07/14/2023
Orthologic with Axioms
We study the proof theory and algorithms for orthologic, a logical syste...
share
research
∙
10/07/2021
Use your Google Account to sign in to DeepAI
