First-order logics of quasiary predicates
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1961528 (Why is no real title available?)
- scientific article; zbMATH DE number 821282 (Why is no real title available?)
- scientific article; zbMATH DE number 3428879 (Why is no real title available?)
- Applicative compositions of partial predicates
- Deductive tools of an algebraic programming system
- Logic in philosophy and philosophy of logic
- Theorem proving in a mathematical information environment
Cited in
(12)- Completeness of the first-order logic of partial quasiary predicates with the complement composition
- \(V\)-singular semantic models of first-order logics
- scientific article; zbMATH DE number 2169314 (Why is no real title available?)
- Quasi-truth-functional systems of propositional logic
- Semantic properties of T-consequence relation in logics of quasiary predicates
- Composition nominative logics of quasi-ary predicates
- Algebras and logics of partial quasiary predicates
- Satisfiability in composition-nominative logics
- Sequent calculi for logics of partial and multi-valued quasi-ary predicates
- First-order composition-nominative logics
- Special sequent calculi for logics of single-valued quasi-ary predicates
- scientific article; zbMATH DE number 6287612 (Why is no real title available?)
This page was built for publication: First-order logics of quasiary predicates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2247805)
