The following pages link to (Q3838814):
Displaying 5 items.
- Variable declarations in natural deduction (Q861825) (← links)
- A variable-free logic for mass terms (Q1203763) (← links)
- Free-variable semantic tableaux for the logic of fuzzy inequalities (Q2364294) (← links)
- Logics in Artificial Intelligence (Q5394151) (← links)
- Tableau methods for a logic with term declarations (Q5927986) (← links)