Showing 1 - 6 results of 6 for search 'Romas Alonderis', query time: 0.02s 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
    Completeness classes for intuitionistic first-order temporal logic with time gaps

    Completeness classes for intuitionistic first-order temporal logic with time gaps by Romas Alonderis

    Published 2023-11-01
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Automatization of proof-search for a fragment of the first-order linear tense logic

    Automatization of proof-search for a fragment of the first-order linear tense logic by Romas Alonderis

    Published 2003-12-01
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    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: