Matches in SemOpenAlex for { <https://semopenalex.org/work/W99755199> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W99755199 abstract "There has been recent interest in a modal logic of Curry (see [Cur52]), now called Lax Logic. Here the modality ( , somehow) has some of the properties of both necessity and possibility. For more about Lax Logic see, for example, [FM97], [BBdP95]. The work of Herbelin ([Her95]), developed by Dyckhoff & Pinto ([DP96], [DP98]), introduces a sequent calculus, whose proofs can be translated in a 1-1 manner to normal natural deductions. This simple Gentzen system (which we call MJ following Dyckhoff and Pinto; Herbelin called it LJT) gives an efficient syntax-directed calculus for enumerating proofs, a task which is considerably harder in the natural deduction calculus itself. In this paper the same ‘permutation-free’ techniques used to develop MJ are applied to Lax Logic, giving a ‘permutation-free’ calculus for Lax Logic. As our starting point we take the above cited papers of Fairtlough & Mendler and of Benton, Bierman & de Paiva." @default.
- W99755199 created "2016-06-24" @default.
- W99755199 creator A5039886424 @default.
- W99755199 date "2007-01-01" @default.
- W99755199 modified "2023-09-27" @default.
- W99755199 title "A Permutation-free Calculus for Lax Logic" @default.
- W99755199 cites W1487717359 @default.
- W99755199 cites W1506616756 @default.
- W99755199 cites W1577712560 @default.
- W99755199 cites W1874611656 @default.
- W99755199 cites W1981311833 @default.
- W99755199 cites W2023132547 @default.
- W99755199 cites W2086747974 @default.
- W99755199 cites W2144488427 @default.
- W99755199 hasPublicationYear "2007" @default.
- W99755199 type Work @default.
- W99755199 sameAs 99755199 @default.
- W99755199 citedByCount "0" @default.
- W99755199 crossrefType "journal-article" @default.
- W99755199 hasAuthorship W99755199A5039886424 @default.
- W99755199 hasConcept C108710211 @default.
- W99755199 hasConcept C111404639 @default.
- W99755199 hasConcept C118615104 @default.
- W99755199 hasConcept C185592680 @default.
- W99755199 hasConcept C188027245 @default.
- W99755199 hasConcept C195653647 @default.
- W99755199 hasConcept C199343813 @default.
- W99755199 hasConcept C2318724 @default.
- W99755199 hasConcept C2524010 @default.
- W99755199 hasConcept C27508121 @default.
- W99755199 hasConcept C2777686260 @default.
- W99755199 hasConcept C33923547 @default.
- W99755199 hasConcept C41008148 @default.
- W99755199 hasConcept C62073222 @default.
- W99755199 hasConcept C6489637 @default.
- W99755199 hasConcept C65880906 @default.
- W99755199 hasConcept C71139939 @default.
- W99755199 hasConcept C71924100 @default.
- W99755199 hasConcept C85343465 @default.
- W99755199 hasConcept C89421646 @default.
- W99755199 hasConceptScore W99755199C108710211 @default.
- W99755199 hasConceptScore W99755199C111404639 @default.
- W99755199 hasConceptScore W99755199C118615104 @default.
- W99755199 hasConceptScore W99755199C185592680 @default.
- W99755199 hasConceptScore W99755199C188027245 @default.
- W99755199 hasConceptScore W99755199C195653647 @default.
- W99755199 hasConceptScore W99755199C199343813 @default.
- W99755199 hasConceptScore W99755199C2318724 @default.
- W99755199 hasConceptScore W99755199C2524010 @default.
- W99755199 hasConceptScore W99755199C27508121 @default.
- W99755199 hasConceptScore W99755199C2777686260 @default.
- W99755199 hasConceptScore W99755199C33923547 @default.
- W99755199 hasConceptScore W99755199C41008148 @default.
- W99755199 hasConceptScore W99755199C62073222 @default.
- W99755199 hasConceptScore W99755199C6489637 @default.
- W99755199 hasConceptScore W99755199C65880906 @default.
- W99755199 hasConceptScore W99755199C71139939 @default.
- W99755199 hasConceptScore W99755199C71924100 @default.
- W99755199 hasConceptScore W99755199C85343465 @default.
- W99755199 hasConceptScore W99755199C89421646 @default.
- W99755199 hasLocation W997551991 @default.
- W99755199 hasOpenAccess W99755199 @default.
- W99755199 hasPrimaryLocation W997551991 @default.
- W99755199 hasRelatedWork W1488351281 @default.
- W99755199 hasRelatedWork W2003546572 @default.
- W99755199 hasRelatedWork W2009938424 @default.
- W99755199 hasRelatedWork W2015385255 @default.
- W99755199 hasRelatedWork W2019486724 @default.
- W99755199 hasRelatedWork W2053198071 @default.
- W99755199 hasRelatedWork W2055279698 @default.
- W99755199 hasRelatedWork W2131739376 @default.
- W99755199 hasRelatedWork W2198307418 @default.
- W99755199 hasRelatedWork W2207512644 @default.
- W99755199 hasRelatedWork W2282573237 @default.
- W99755199 hasRelatedWork W2950279424 @default.
- W99755199 hasRelatedWork W2951101271 @default.
- W99755199 hasRelatedWork W2961141088 @default.
- W99755199 hasRelatedWork W2974146772 @default.
- W99755199 hasRelatedWork W2999418139 @default.
- W99755199 hasRelatedWork W3037905658 @default.
- W99755199 hasRelatedWork W3090765541 @default.
- W99755199 hasRelatedWork W3128730758 @default.
- W99755199 hasRelatedWork W3150713206 @default.
- W99755199 isParatext "false" @default.
- W99755199 isRetracted "false" @default.
- W99755199 magId "99755199" @default.
- W99755199 workType "article" @default.