Matches in SemOpenAlex for { <https://semopenalex.org/work/W2415873105> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2415873105 endingPage "25" @default.
- W2415873105 startingPage "1" @default.
- W2415873105 abstract "In this paper a uniform methodology to perform natural deduction over the family of linear, relevance and intuitionistic logics is proposed. The methodology follows the Labelled Deductive Systems (LDS) discipline, where the deductive process manipulates declarative units {f ormulaslabelled according to a labelling algebra. In the system described here, labels are either ground terms or variables of a given labelling language and inference rules manipulate formulas and labels simultaneously, generating (whenever necessary) constraints on the labels used in the rules. A set of natural deduction style inference rules is given, and the notion of a is dened which associates a labelled natural deduction style structural derivation with a set of generated constraints. Algorithmic procedures, based on a technique called resource abduction, are dened to solve the constraints generated within a structural derivation, and their termination conditions discussed. A natural deduction is then dened to be correct with respect to a given substructural logic, if, under the condition that the algorithmic procedures terminate, the associated set of constraints is satised with respect to the underlying labelling algebra. Finally, soundness and completeness of the natural deduction system are proved with respect to the LKE tableaux system [6]. 1" @default.
- W2415873105 created "2016-06-24" @default.
- W2415873105 creator A5002143669 @default.
- W2415873105 creator A5024395125 @default.
- W2415873105 creator A5046462940 @default.
- W2415873105 date "2011-10-01" @default.
- W2415873105 modified "2023-09-26" @default.
- W2415873105 title "Labelled Natural Deduction" @default.
- W2415873105 cites W1488538795 @default.
- W2415873105 cites W1501298912 @default.
- W2415873105 cites W1991138028 @default.
- W2415873105 cites W2033288425 @default.
- W2415873105 cites W2037991894 @default.
- W2415873105 cites W2039977878 @default.
- W2415873105 cites W2911865844 @default.
- W2415873105 cites W71254099 @default.
- W2415873105 doi "https://doi.org/10.1142/9789814360968_0001" @default.
- W2415873105 hasPublicationYear "2011" @default.
- W2415873105 type Work @default.
- W2415873105 sameAs 2415873105 @default.
- W2415873105 citedByCount "0" @default.
- W2415873105 crossrefType "book-chapter" @default.
- W2415873105 hasAuthorship W2415873105A5002143669 @default.
- W2415873105 hasAuthorship W2415873105A5024395125 @default.
- W2415873105 hasAuthorship W2415873105A5046462940 @default.
- W2415873105 hasConcept C108710211 @default.
- W2415873105 hasConcept C11413529 @default.
- W2415873105 hasConcept C118615104 @default.
- W2415873105 hasConcept C134306372 @default.
- W2415873105 hasConcept C136119220 @default.
- W2415873105 hasConcept C154945302 @default.
- W2415873105 hasConcept C166957645 @default.
- W2415873105 hasConcept C17231256 @default.
- W2415873105 hasConcept C177264268 @default.
- W2415873105 hasConcept C199360897 @default.
- W2415873105 hasConcept C202444582 @default.
- W2415873105 hasConcept C2524010 @default.
- W2415873105 hasConcept C2776214188 @default.
- W2415873105 hasConcept C2776608160 @default.
- W2415873105 hasConcept C33923547 @default.
- W2415873105 hasConcept C3746660 @default.
- W2415873105 hasConcept C39920170 @default.
- W2415873105 hasConcept C41008148 @default.
- W2415873105 hasConcept C62073222 @default.
- W2415873105 hasConcept C65880906 @default.
- W2415873105 hasConcept C95457728 @default.
- W2415873105 hasConceptScore W2415873105C108710211 @default.
- W2415873105 hasConceptScore W2415873105C11413529 @default.
- W2415873105 hasConceptScore W2415873105C118615104 @default.
- W2415873105 hasConceptScore W2415873105C134306372 @default.
- W2415873105 hasConceptScore W2415873105C136119220 @default.
- W2415873105 hasConceptScore W2415873105C154945302 @default.
- W2415873105 hasConceptScore W2415873105C166957645 @default.
- W2415873105 hasConceptScore W2415873105C17231256 @default.
- W2415873105 hasConceptScore W2415873105C177264268 @default.
- W2415873105 hasConceptScore W2415873105C199360897 @default.
- W2415873105 hasConceptScore W2415873105C202444582 @default.
- W2415873105 hasConceptScore W2415873105C2524010 @default.
- W2415873105 hasConceptScore W2415873105C2776214188 @default.
- W2415873105 hasConceptScore W2415873105C2776608160 @default.
- W2415873105 hasConceptScore W2415873105C33923547 @default.
- W2415873105 hasConceptScore W2415873105C3746660 @default.
- W2415873105 hasConceptScore W2415873105C39920170 @default.
- W2415873105 hasConceptScore W2415873105C41008148 @default.
- W2415873105 hasConceptScore W2415873105C62073222 @default.
- W2415873105 hasConceptScore W2415873105C65880906 @default.
- W2415873105 hasConceptScore W2415873105C95457728 @default.
- W2415873105 hasLocation W24158731051 @default.
- W2415873105 hasOpenAccess W2415873105 @default.
- W2415873105 hasPrimaryLocation W24158731051 @default.
- W2415873105 hasRelatedWork W124470575 @default.
- W2415873105 hasRelatedWork W1505126039 @default.
- W2415873105 hasRelatedWork W1517927305 @default.
- W2415873105 hasRelatedWork W1526331441 @default.
- W2415873105 hasRelatedWork W1576020708 @default.
- W2415873105 hasRelatedWork W1589666554 @default.
- W2415873105 hasRelatedWork W1598987050 @default.
- W2415873105 hasRelatedWork W2004721399 @default.
- W2415873105 hasRelatedWork W2026328078 @default.
- W2415873105 hasRelatedWork W2047929536 @default.
- W2415873105 hasRelatedWork W2053323297 @default.
- W2415873105 hasRelatedWork W208157960 @default.
- W2415873105 hasRelatedWork W2088442628 @default.
- W2415873105 hasRelatedWork W2189157743 @default.
- W2415873105 hasRelatedWork W2305028122 @default.
- W2415873105 hasRelatedWork W2726449882 @default.
- W2415873105 hasRelatedWork W2953090146 @default.
- W2415873105 hasRelatedWork W3137291598 @default.
- W2415873105 hasRelatedWork W46391580 @default.
- W2415873105 hasRelatedWork W2110488689 @default.
- W2415873105 isParatext "false" @default.
- W2415873105 isRetracted "false" @default.
- W2415873105 magId "2415873105" @default.
- W2415873105 workType "book-chapter" @default.