Pages that link to "Item:Q2850235"
From MaRDI portal
The following pages link to Sequent calculi construction for pure first-order composition-nominative logics of single-valued partial predicates (Q2850235):
Displaying 8 items.
- Pure composition nominative calculi (Q2737108) (← links)
- Composition nominative first order calculi (Q2745130) (← links)
- Special sequent calculi for logics of single-valued quasi-ary predicates (Q2850304) (← links)
- Sequent calculi of transitional composition-nominative modal logics (Q2850366) (← links)
- Sequent calculi for logics of partial and multi-valued quasi-ary predicates (Q2850367) (← links)
- Two extensions of the structurally free logic LC (Q4392658) (← links)
- (Q4503917) (← links)
- A Gentzen-type calculus of sequents for single-operator propositional logic (Q5532526) (← links)