The logic of orthomodular posets of finite height.
Ivan ChajdaHelmut LängerPublished in: Log. J. IGPL (2022)
Keyphrases
- modal logic
- finite number
- automated reasoning
- linear temporal logic
- proof theory
- partially ordered sets
- logic programming
- finite automata
- digital circuits
- equational theories
- unit length
- asynchronous circuits
- predicate logic
- computational properties
- classical logic
- linear logic
- natural deduction
- real time
- multi valued
- multi agent