Search Results - "sequent calculus"

Suggested Topics within your search.
  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Cover Image

    Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics by Shkilniak, О.S., Shkilniak, S.S.

    Published in PROBLEMS IN PROGRAMMING (2024)

    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

    Pure first-order logics of quasiary predicates by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

    Published in PROBLEMS IN PROGRAMMING (2018)

    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Cover Image

    Pure first-order quasiary logics with equality predicates by Nikitchenko, M.S., Shkilniak, S.S.

    Published in PROBLEMS IN PROGRAMMING (2018)

    Get full text
    Article

    Save to List
    Saved in:

Search Tools: