FRINK Linked Data Fragments server

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

• W68343527 abstract "By replacement it is meant the substitution of one or more occurrences of a formula with an equivalent one. In automated deduction this can be useful to reduce the search space. In tableau calculi for classical and modal logics this technique is known as simplification and consists in replacing a formula with a logical constant (> or ⊥). Recently, this idea has been applied to Intuitionistic Logic. This work in progress investigates further conditions on the applicability of Simplification in Intuitionistic Logic." @default.
• W68343527 created "2016-06-24" @default.
• W68343527 creator A5011583391 @default.
• W68343527 creator A5038482708 @default.
• W68343527 creator A5090594213 @default.
• W68343527 date "2009-01-01" @default.
• W68343527 modified "2023-09-26" @default.
• W68343527 title "Towards the use of simplification rules in intuitionistic tableaux" @default.
• W68343527 cites W1483568252 @default.
• W68343527 cites W1506886065 @default.
• W68343527 cites W1536217426 @default.
• W68343527 cites W1971769584 @default.
• W68343527 cites W2127391555 @default.
• W68343527 cites W2970205057 @default.
• W68343527 hasPublicationYear "2009" @default.
• W68343527 type Work @default.
• W68343527 sameAs 68343527 @default.
• W68343527 citedByCount "1" @default.
• W68343527 crossrefType "journal-article" @default.
• W68343527 hasAuthorship W68343527A5011583391 @default.
• W68343527 hasAuthorship W68343527A5038482708 @default.
• W68343527 hasAuthorship W68343527A5090594213 @default.
• W68343527 hasConcept C102993220 @default.
• W68343527 hasConcept C110039528 @default.
• W68343527 hasConcept C11191006 @default.
• W68343527 hasConcept C111919701 @default.
• W68343527 hasConcept C114092440 @default.
• W68343527 hasConcept C11413529 @default.
• W68343527 hasConcept C118615104 @default.
• W68343527 hasConcept C136119220 @default.
• W68343527 hasConcept C171482190 @default.
• W68343527 hasConcept C178421362 @default.
• W68343527 hasConcept C185592680 @default.
• W68343527 hasConcept C188027245 @default.
• W68343527 hasConcept C199343813 @default.
• W68343527 hasConcept C199360897 @default.
• W68343527 hasConcept C202444582 @default.
• W68343527 hasConcept C203659156 @default.
• W68343527 hasConcept C27508121 @default.
• W68343527 hasConcept C2777686260 @default.
• W68343527 hasConcept C2778220771 @default.
• W68343527 hasConcept C2778572836 @default.
• W68343527 hasConcept C33203268 @default.
• W68343527 hasConcept C33923547 @default.
• W68343527 hasConcept C41008148 @default.
• W68343527 hasConcept C56949724 @default.
• W68343527 hasConcept C62073222 @default.
• W68343527 hasConcept C69562738 @default.
• W68343527 hasConcept C71139939 @default.
• W68343527 hasConcept C71924100 @default.
• W68343527 hasConcept C80444323 @default.
• W68343527 hasConceptScore W68343527C102993220 @default.
• W68343527 hasConceptScore W68343527C110039528 @default.
• W68343527 hasConceptScore W68343527C11191006 @default.
• W68343527 hasConceptScore W68343527C111919701 @default.
• W68343527 hasConceptScore W68343527C114092440 @default.
• W68343527 hasConceptScore W68343527C11413529 @default.
• W68343527 hasConceptScore W68343527C118615104 @default.
• W68343527 hasConceptScore W68343527C136119220 @default.
• W68343527 hasConceptScore W68343527C171482190 @default.
• W68343527 hasConceptScore W68343527C178421362 @default.
• W68343527 hasConceptScore W68343527C185592680 @default.
• W68343527 hasConceptScore W68343527C188027245 @default.
• W68343527 hasConceptScore W68343527C199343813 @default.
• W68343527 hasConceptScore W68343527C199360897 @default.
• W68343527 hasConceptScore W68343527C202444582 @default.
• W68343527 hasConceptScore W68343527C203659156 @default.
• W68343527 hasConceptScore W68343527C27508121 @default.
• W68343527 hasConceptScore W68343527C2777686260 @default.
• W68343527 hasConceptScore W68343527C2778220771 @default.
• W68343527 hasConceptScore W68343527C2778572836 @default.
• W68343527 hasConceptScore W68343527C33203268 @default.
• W68343527 hasConceptScore W68343527C33923547 @default.
• W68343527 hasConceptScore W68343527C41008148 @default.
• W68343527 hasConceptScore W68343527C56949724 @default.
• W68343527 hasConceptScore W68343527C62073222 @default.
• W68343527 hasConceptScore W68343527C69562738 @default.
• W68343527 hasConceptScore W68343527C71139939 @default.
• W68343527 hasConceptScore W68343527C71924100 @default.
• W68343527 hasConceptScore W68343527C80444323 @default.
• W68343527 hasLocation W683435271 @default.
• W68343527 hasOpenAccess W68343527 @default.
• W68343527 hasPrimaryLocation W683435271 @default.
• W68343527 hasRelatedWork W1596469673 @default.
• W68343527 hasRelatedWork W1678934127 @default.
• W68343527 hasRelatedWork W1974190112 @default.
• W68343527 hasRelatedWork W1985872645 @default.
• W68343527 hasRelatedWork W1989766362 @default.
• W68343527 hasRelatedWork W1989942966 @default.
• W68343527 hasRelatedWork W2025280888 @default.
• W68343527 hasRelatedWork W2053547980 @default.
• W68343527 hasRelatedWork W2068769696 @default.
• W68343527 hasRelatedWork W2076859913 @default.
• W68343527 hasRelatedWork W2079337360 @default.
• W68343527 hasRelatedWork W2087302085 @default.
• W68343527 hasRelatedWork W2088482003 @default.
• W68343527 hasRelatedWork W2178257282 @default.
• W68343527 hasRelatedWork W3139985312 @default.
• W68343527 hasRelatedWork W91391498 @default.
• W68343527 hasRelatedWork W1687640402 @default.

• next