FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W624495424> ?p ?o ?g. }

• W624495424 endingPage "328" @default.
• W624495424 startingPage "315" @default.
• W624495424 abstract "Why should Law need automated proof systems? The answer to this question implies an answer to the following question: Is logic needed in Law? In fact it has been argued that logics are useless for Law (see, for example, Kelsen 1989). We believe that logic, and deontic logics in particular - but also modal logics - have a role to play in Law; for example if one wants to study what the relationships are among the various degrees of adjudication in Law, one should note that they give rise to a transitive, irreflexive and finite structure, which is the frame of the modal logic of provability GL; one of the most important properties of such a logic is that no system, (no court) in this frame, could claim its own correctness without becoming incorrect (Boolos 1993, Smullyan 1988), but the correctness of a lower court can be established by a higher one. This example shows that the study of modal logic can help in finding certain already known properties of legal systems. Moreover, each time we are dealing with the notions of Obligation and Permission, and we are interested in the study of their mutual relationship, we can arrange them into a deontic framework, thus producing a certain kind of deontic logic. Finally a hint for the use of logic in legal reasoning is given, for example in the case, by the itself; in fact article 192, 1 comma of the Italian code of criminal procedure prescribes that the judges state the reasons of their adjudication; moreover several other articles of the same code, state: when evidence is valid, how evidence should be used in order to lead to an adjudication, etc. On this basis the Italian code of criminal procedure can be thought of as a deductive system where its articles act as the inference rules, whereas the articles of the Italian code of criminal law are the axioms. What does a proof system do? A proof system can work in two ways. The first of them consists of producing admissible steps one after the other according to the inference rules; in this way each step is guaranteed to be correct, but we are not led to the goal we want to prove. The other one consists of verifying whether a conclusion follows from given premises, i.e., if the adjudication follows logically from the evidence, mainly by refuting the negation of the conclusion. The system we propose is based on the logic of ideality and subideality developed by Jones and Porn, and it verifies in the above mentioned logical framework whether a given conclusion follows from given premises. Moreover, due to its basic control structure it can also be used as an analytic direct proof system." @default.
• W624495424 created "2016-06-24" @default.
• W624495424 creator A5058360953 @default.
• W624495424 date "1998-01-01" @default.
• W624495424 modified "2023-09-27" @default.
• W624495424 title "Ideality and subideality from a computational point of view" @default.
• W624495424 cites W112720907 @default.
• W624495424 cites W1570374618 @default.
• W624495424 cites W1596067335 @default.
• W624495424 cites W171647941 @default.
• W624495424 cites W1981173442 @default.
• W624495424 cites W1991138028 @default.
• W624495424 cites W2018509459 @default.
• W624495424 cites W2020852080 @default.
• W624495424 cites W2022355674 @default.
• W624495424 cites W2037991894 @default.
• W624495424 cites W2066331979 @default.
• W624495424 cites W2088374045 @default.
• W624495424 cites W2098315589 @default.
• W624495424 cites W2118689561 @default.
• W624495424 cites W2743117888 @default.
• W624495424 cites W71254099 @default.
• W624495424 hasPublicationYear "1998" @default.
• W624495424 type Work @default.
• W624495424 sameAs 624495424 @default.
• W624495424 citedByCount "0" @default.
• W624495424 crossrefType "journal-article" @default.
• W624495424 hasAuthorship W624495424A5058360953 @default.
• W624495424 hasConcept C102993220 @default.
• W624495424 hasConcept C111472728 @default.
• W624495424 hasConcept C11191006 @default.
• W624495424 hasConcept C114092440 @default.
• W624495424 hasConcept C11413529 @default.
• W624495424 hasConcept C114614502 @default.
• W624495424 hasConcept C138885662 @default.
• W624495424 hasConcept C17744445 @default.
• W624495424 hasConcept C185592680 @default.
• W624495424 hasConcept C188027245 @default.
• W624495424 hasConcept C191399111 @default.
• W624495424 hasConcept C199539241 @default.
• W624495424 hasConcept C203659156 @default.
• W624495424 hasConcept C204434341 @default.
• W624495424 hasConcept C27508121 @default.
• W624495424 hasConcept C2778447849 @default.
• W624495424 hasConcept C2779089604 @default.
• W624495424 hasConcept C33923547 @default.
• W624495424 hasConcept C41008148 @default.
• W624495424 hasConcept C55439883 @default.
• W624495424 hasConcept C6377922 @default.
• W624495424 hasConcept C71139939 @default.
• W624495424 hasConcept C80444323 @default.
• W624495424 hasConceptScore W624495424C102993220 @default.
• W624495424 hasConceptScore W624495424C111472728 @default.
• W624495424 hasConceptScore W624495424C11191006 @default.
• W624495424 hasConceptScore W624495424C114092440 @default.
• W624495424 hasConceptScore W624495424C11413529 @default.
• W624495424 hasConceptScore W624495424C114614502 @default.
• W624495424 hasConceptScore W624495424C138885662 @default.
• W624495424 hasConceptScore W624495424C17744445 @default.
• W624495424 hasConceptScore W624495424C185592680 @default.
• W624495424 hasConceptScore W624495424C188027245 @default.
• W624495424 hasConceptScore W624495424C191399111 @default.
• W624495424 hasConceptScore W624495424C199539241 @default.
• W624495424 hasConceptScore W624495424C203659156 @default.
• W624495424 hasConceptScore W624495424C204434341 @default.
• W624495424 hasConceptScore W624495424C27508121 @default.
• W624495424 hasConceptScore W624495424C2778447849 @default.
• W624495424 hasConceptScore W624495424C2779089604 @default.
• W624495424 hasConceptScore W624495424C33923547 @default.
• W624495424 hasConceptScore W624495424C41008148 @default.
• W624495424 hasConceptScore W624495424C55439883 @default.
• W624495424 hasConceptScore W624495424C6377922 @default.
• W624495424 hasConceptScore W624495424C71139939 @default.
• W624495424 hasConceptScore W624495424C80444323 @default.
• W624495424 hasLocation W6244954241 @default.
• W624495424 hasOpenAccess W624495424 @default.
• W624495424 hasPrimaryLocation W6244954241 @default.
• W624495424 hasRelatedWork W1504915799 @default.
• W624495424 hasRelatedWork W1541137191 @default.
• W624495424 hasRelatedWork W1555947437 @default.
• W624495424 hasRelatedWork W1900356764 @default.
• W624495424 hasRelatedWork W2017014477 @default.
• W624495424 hasRelatedWork W2053222057 @default.
• W624495424 hasRelatedWork W2053638844 @default.
• W624495424 hasRelatedWork W2065024328 @default.
• W624495424 hasRelatedWork W2125185604 @default.
• W624495424 hasRelatedWork W2188387994 @default.
• W624495424 hasRelatedWork W2464343837 @default.
• W624495424 hasRelatedWork W2545022179 @default.
• W624495424 hasRelatedWork W2574949295 @default.
• W624495424 hasRelatedWork W2962902668 @default.
• W624495424 hasRelatedWork W3110997401 @default.
• W624495424 hasRelatedWork W3114529159 @default.
• W624495424 hasRelatedWork W3180773547 @default.
• W624495424 hasRelatedWork W3197680824 @default.
• W624495424 hasRelatedWork W615700225 @default.
• W624495424 hasRelatedWork W857792153 @default.
• W624495424 hasVolume "1" @default.

• next