Showing 1 - 4 results of 4 for search 'Romas Alonderis', query time: 0.01s Refine Results
  1. 1
    Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and >

    Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and > by Romas Alonderis

    Published 2002-12-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps

    Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps by Romas Alonderis

    Published 1999-12-01
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Sequent calculus for propositional likelihood logic

    Sequent calculus for propositional likelihood logic by Romas Alonderis

    Published 2023-09-01
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Relation between classical and intuitionistic sequent calculi of temporal logic

    Relation between classical and intuitionistic sequent calculi of temporal logic by Romas Alonderis

    Published 2001-12-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: