First-order logics of quasiary predicates

DOI10.1007/S10559-010-9270-6zbMATH Open1291.03069OpenAlexW2009763621MaRDI QIDQ2247805FDOQ2247805

Authors: S. S. Shkil'niak 

Publication date: 30 June 2014

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-010-9270-6

Recommendations

• Composition-nominative logics of quasi-ary predicates: semantic aspects
• First-order composition-nominative logics
• scientific article; zbMATH DE number 2169314
• Composition nominative logics of quasi-ary predicates
• Sequent calculi for logics of partial and multi-valued quasi-ary predicates

zbMATH Keywords

semanticscompletenesscompositionsyntaxcalculationsequent calculuscorrectnesspredicatecomposition programmingcomposite-nominative approachlogical consequence relationname setnominative datum

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Deductive tools of an algebraic programming system
• Theorem proving in a mathematical information environment
• Applicative compositions of partial predicates
• Logic in philosophy and philosophy of logic
• Title not available (Why is that?)

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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)