Search Results - Rasga, João

Refine Results
  1. 1
    Adding abductive reasoning to a propositional logic

    Adding abductive reasoning to a propositional logic by Rasga, João, Sernadas, Cristina

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics

    Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics by Ramos, Jaime, Rasga, João, Sernadas, Cristina

    Published in Studia logica
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Revisiting separation: Algorithms and complexity

    Revisiting separation: Algorithms and complexity by Oliveira, Daniel, Rasga, João

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Labelled proof systems for existential reasoning

    Labelled proof systems for existential reasoning by Ramos, Jaime, Rasga, João, Sernadas, Cristina

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Many-Sorted Equivalence of Shiny and Strongly Polite Theories

    Many-Sorted Equivalence of Shiny and Strongly Polite Theories by Casal, Filipe, Rasga, João

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION

    REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION by RASGA, JOÃO, SERNADAS, CRISTINA, CARNIELLI, WALTER

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Schema Complexity in Propositional-Based Logics

    Schema Complexity in Propositional-Based Logics by Ramos, Jaime, Rasga, João, Sernadas, Cristina

    Published in Mathematics (Basel)
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Essential Structure of Proofs as a Measure of Complexity

    Essential Structure of Proofs as a Measure of Complexity by Ramos, Jaime, Rasga, João, Sernadas, Cristina

    Published in Logica universalis
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Revisiting separation: Algorithms and complexity

    Revisiting separation: Algorithms and complexity by Oliveira, Daniel, Rasga, João

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Time-stamped claim logic

    Time-stamped claim logic by Rasga, João, Sernadas, Cristina, Karafili, Erisa, Viganò, Luca

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Event-Based Time-Stamped Claim Logic

    Event-Based Time-Stamped Claim Logic by Ramos, Jaime, Rasga, João, Sernadas, Cristina, Viganò, Luca

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  12. 12
    Kolmogorov One-Way Functions Revisited

    Kolmogorov One-Way Functions Revisited by Casal, Filipe, Rasga, João, Souto, André

    Published in Cryptography
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  13. 13
    PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS

    PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS by RASGA, JOÃO, SERNADAS, CRISTINA, SERNADAS, AMÍLCAR

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Time-stamped claim logic

    Time-stamped claim logic by Rasga, João, Sernadas, Cristina, Karafili, Erisa, Viganò, Luca

    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Sufficient conditions for cut elimination with complexity analysis

    Sufficient conditions for cut elimination with complexity analysis by Rasga, João

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Craig Interpolation in the Presence of Unreliable Connectives

    Craig Interpolation in the Presence of Unreliable Connectives by Rasga, João, Sernadas, Cristina, Sernadas, Amlcar

    Published in Logica universalis
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Completeness and interpolation of almost-everywhere quantification over finitely additive measures

    Completeness and interpolation of almost-everywhere quantification over finitely additive measures by Rasga, João, Lotfallah, Wafik Boulos, Sernadas, Cristina

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    Preservation of Interpolation Features by Fibring

    Preservation of Interpolation Features by Fibring by Carnielli, Walter, Rasga, João, Sernadas, Cristina

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Interpolation via translations

    Interpolation via translations by Rasga, João, Carnielli, Walter, Sernadas, Cristina

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Fusion of sequent modal logic systems labelled with truth values

    Fusion of sequent modal logic systems labelled with truth values by Rasga, João, Roggia, Karina, Sernadas, Cristina

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:

Search Tools: