Pages that link to "Item:Q2850367"
From MaRDI portal
The following pages link to Sequent calculi for logics of partial and multi-valued quasi-ary predicates (Q2850367):
Displaying 5 items.
- Semantic properties of \(T\)-consequence relation in logics of quasiary predicates (Q1650326) (← links)
- First-order logics of quasiary predicates (Q2247805) (← links)
- Sequent calculi construction for pure first-order composition-nominative logics of single-valued partial predicates (Q2850235) (← links)
- Special sequent calculi for logics of single-valued quasi-ary predicates (Q2850304) (← links)
- Sequent calculi of transitional composition-nominative modal logics (Q2850366) (← links)