Treffer 1 - 20 von 27 für Suche 'Orlandelli, Eugenio', Suchdauer: 0,67s Treffer weiter einschränken
  1. 1
    Glivenko sequent classes and constructive cut elimination in geometric logics

    Glivenko sequent classes and constructive cut elimination in geometric logics von Fellin, Giulio, Negri, Sara, Orlandelli, Eugenio

    Veröffentlicht in Archive for mathematical logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Proof-theoretic pluralism

    Proof-theoretic pluralism von Ferrari, Filippo, Orlandelli, Eugenio

    Veröffentlicht in Synthese (Dordrecht)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A Syntactic Proof of the Decidability of First-Order Monadic Logic

    A Syntactic Proof of the Decidability of First-Order Monadic Logic von Orlandelli, Eugenio, Tesi, Matteo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Super-Strict Implications

    Super-Strict Implications von Gherardi, Guido, Orlandelli, Eugenio


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Quantified Modal Logics: One Approach to Rule (Almost) them All

    Quantified Modal Logics: One Approach to Rule (Almost) them All von Orlandelli, Eugenio

    Veröffentlicht in Journal of philosophical logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Labelled calculi for quantified modal logics with definite descriptions

    Labelled calculi for quantified modal logics with definite descriptions von Orlandelli, Eugenio


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Interpolation in Extensions of First-Order Logic

    Interpolation in Extensions of First-Order Logic von Gherardi, Guido, Maffezioli, Paolo, Orlandelli, Eugenio

    Veröffentlicht in Studia logica

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Non-Normal Super-Strict Implications

    Non-Normal Super-Strict Implications von Gherardi, Guido, Orlandelli, Eugenio


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Proof Systems for Super- Strict Implication

    Proof Systems for Super- Strict Implication von Gherardi, Guido, Orlandelli, Eugenio, Raidl, Eric

    Veröffentlicht in Studia logica

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate

    Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate von Maffezioli, Paolo, Orlandelli, Eugenio


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Proof theory for quantified monotone modal logics

    Proof theory for quantified monotone modal logics von Negri, Sara, Orlandelli, Eugenio

    Veröffentlicht in Logic journal of the IGPL

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    SUPER-STRICT IMPLICATIONS 1

    SUPER-STRICT IMPLICATIONS 1 von Gherardi, Guido, Orlandelli, Eugenio


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Logicality, Double-Line Rules, and Modalities

    Logicality, Double-Line Rules, and Modalities von Gratzl, Norbert, Orlandelli, Eugenio

    Veröffentlicht in Studia logica

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    FULL CUT ELIMINATION AND INTERPOLATION FOR INTUITIONISTIC LOGIC WITH EXISTENCE PREDICATE 1

    FULL CUT ELIMINATION AND INTERPOLATION FOR INTUITIONISTIC LOGIC WITH EXISTENCE PREDICATE 1 von Maffezioli, Paolo, Orlandelli, Eugenio


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Free Quantified Epistemic Logics

    Free Quantified Epistemic Logics von Corsi, G., Orlandelli, E.

    Veröffentlicht in Studia logica

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Decidable Term-Modal Logics

    Decidable Term-Modal Logics von Orlandelli, Eugenio, Corsi, Giovanna


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Proof Analysis in Deontic Logics

    Proof Analysis in Deontic Logics von Orlandelli, Eugenio


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Labelled calculi for quantified modal logics with definite descriptions

    Labelled calculi for quantified modal logics with definite descriptions von Orlandelli, Eugenio

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Non-Normal Super-Strict Implications

    Non-Normal Super-Strict Implications von Gherardi, Guido, Orlandelli, Eugenio

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Sequent calculi and interpolation for non-normal modal and deonticlogics

    Sequent calculi and interpolation for non-normal modal and deonticlogics von Orlandelli, Eugenio

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: