1.  4
    Modeling Legal Conflict Resolution Based on Dynamic Logic.Fengkui Ju, Karl Nygren & Tianwen Xu - 2021 - Journal of Logic and Computation 31 (4):1102-1128.
    Conflicts between legal norms are common in reality. In many legislations, legal conflicts between norms are resolved by applying ordered principles. This work presents a formalization of the conflict resolution mechanism and introduces action legal logic (⁠ALL) to reason about the normative consequences of possibly conflicting legal systems. The semantics of ALL is explicitly based on legal systems consisting of norms and ordered principles. Legal systems specify the legal status of transitions in transition systems and the language of ALL describes (...)
    Direct download  
    Export citation  
  2.  54
    On the Correspondence Between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon - 2021 - Journal of Logic and Computation 31 (1):213-265.
    This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   3 citations  
 Previous issues
Next issues