Showing 1 - 5 results of 5 for search 'Romas Alonderis', query time: 0.01s Refine Results
  1. 1
    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:
  2. 2
    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:
  3. 3
    Indexed multi-succedent calculus with invertible rules for the constructive logic

    Indexed multi-succedent calculus with invertible rules for the constructive logic by Romas Alonderis

    Published 1997-12-01
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    On intuitionistic branching tense logic with weak induction

    On intuitionistic branching tense logic with weak induction by Romas Alonderis

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