Pages that link to "Item:Q2247805"
From MaRDI portal
The following pages link to First-order logics of quasiary predicates (Q2247805):
Displaying 7 items.
- Semantic properties of \(T\)-consequence relation in logics of quasiary predicates (Q1650326) (← links)
- Satisfiability in composition-nominative logics (Q2445092) (← links)
- Special sequent calculi for logics of single-valued quasi-ary predicates (Q2850304) (← links)
- Sequent calculi for logics of partial and multi-valued quasi-ary predicates (Q2850367) (← links)
- First-order composition-nominative logics (Q2897499) (← links)
- Quasi-truth-functional systems of propositional logic (Q3293394) (← links)
- (Q5411459) (← links)