The following pages link to (Q3990459):
Displaying 4 items.
- Semantic interpretation of predicate calculus system of medium logic \(ME^*\) and its soundness and completeness (Q1123188) (← links)
- A multidimensional modal translation for a formal system motivated by situation semantics (Q1182697) (← links)
- (Q3817706) (← links)
- An extension of the propositional calculus system of medium logic. II (Q3984062) (← links)