Pages that link to "Item:Q2850304"
From MaRDI portal
The following pages link to Special sequent calculi for logics of single-valued quasi-ary predicates (Q2850304):
Displaying 3 items.
- Sequent calculi construction for pure first-order composition-nominative logics of single-valued partial predicates (Q2850235) (← links)
- Sequent calculi for logics of partial and multi-valued quasi-ary predicates (Q2850367) (← links)
- A Gentzen-type calculus of sequents for single-operator propositional logic (Q5532526) (← links)