FRINK Linked Data Fragments server

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

• W1996645107 abstract "Abstract Experimental logic can be viewed as a branch of logic dealing with the actual construction of useful deductive systems and their application to various scientific disciplines. In this paper we describe an experimental deductive system called the SYMbolic EVALuator (i.e. SYMEVAL) which is based on a rather simple, yet startling principle about deduction, namely that deduction is fundamentally a process of replacing expressions by logically equivalent expressions. This principle applies both to logical and domain-dependent axioms and rules. Unlike more well-known logical inference systems which do not satisfy this principle, herein is described a system of logical axioms and rules called the SYMMETRIC LOGIC which is based on this principle. Evidence for this principle is given by proving theorems and performing deduction in the areas of set theory, logic programming, natural language analysis, program verification, automatic complexity analysis, and inductive reasoning." @default.
• W1996645107 created "2016-06-24" @default.
• W1996645107 creator A5055504446 @default.
• W1996645107 date "1986-11-01" @default.
• W1996645107 modified "2023-09-27" @default.
• W1996645107 title "An experimental logic based on the fundamental deduction principle" @default.
• W1996645107 cites W102722814 @default.
• W1996645107 cites W122580796 @default.
• W1996645107 cites W122764051 @default.
• W1996645107 cites W125721120 @default.
• W1996645107 cites W127331667 @default.
• W1996645107 cites W134953795 @default.
• W1996645107 cites W14805306 @default.
• W1996645107 cites W1568039151 @default.
• W1996645107 cites W1572073643 @default.
• W1996645107 cites W1573056903 @default.
• W1996645107 cites W1578088218 @default.
• W1996645107 cites W1590828018 @default.
• W1996645107 cites W1599151353 @default.
• W1996645107 cites W1614081703 @default.
• W1996645107 cites W1766062603 @default.
• W1996645107 cites W1766332311 @default.
• W1996645107 cites W1968605571 @default.
• W1996645107 cites W1970045008 @default.
• W1996645107 cites W1994283431 @default.
• W1996645107 cites W2003295303 @default.
• W1996645107 cites W2023139438 @default.
• W1996645107 cites W2033225733 @default.
• W1996645107 cites W2045833670 @default.
• W1996645107 cites W2070361291 @default.
• W1996645107 cites W2081764129 @default.
• W1996645107 cites W2085089824 @default.
• W1996645107 cites W2100738443 @default.
• W1996645107 cites W2109813063 @default.
• W1996645107 cites W2159709550 @default.
• W1996645107 cites W2197348646 @default.
• W1996645107 cites W2251713187 @default.
• W1996645107 cites W2261248569 @default.
• W1996645107 cites W2554428539 @default.
• W1996645107 cites W2562926300 @default.
• W1996645107 cites W28762283 @default.
• W1996645107 cites W37883845 @default.
• W1996645107 cites W92200963 @default.
• W1996645107 doi "https://doi.org/10.1016/0004-3702(86)90011-1" @default.
• W1996645107 hasPublicationYear "1986" @default.
• W1996645107 type Work @default.
• W1996645107 sameAs 1996645107 @default.
• W1996645107 citedByCount "18" @default.
• W1996645107 crossrefType "journal-article" @default.
• W1996645107 hasAuthorship W1996645107A5055504446 @default.
• W1996645107 hasConcept C102993220 @default.
• W1996645107 hasConcept C108710211 @default.
• W1996645107 hasConcept C11413529 @default.
• W1996645107 hasConcept C124047733 @default.
• W1996645107 hasConcept C134752490 @default.
• W1996645107 hasConcept C154945302 @default.
• W1996645107 hasConcept C167729594 @default.
• W1996645107 hasConcept C195344581 @default.
• W1996645107 hasConcept C199343813 @default.
• W1996645107 hasConcept C199360897 @default.
• W1996645107 hasConcept C206880738 @default.
• W1996645107 hasConcept C2318724 @default.
• W1996645107 hasConcept C2524010 @default.
• W1996645107 hasConcept C2777686260 @default.
• W1996645107 hasConcept C33923547 @default.
• W1996645107 hasConcept C3746660 @default.
• W1996645107 hasConcept C41008148 @default.
• W1996645107 hasConcept C62073222 @default.
• W1996645107 hasConcept C71924100 @default.
• W1996645107 hasConcept C74992188 @default.
• W1996645107 hasConcept C97364631 @default.
• W1996645107 hasConceptScore W1996645107C102993220 @default.
• W1996645107 hasConceptScore W1996645107C108710211 @default.
• W1996645107 hasConceptScore W1996645107C11413529 @default.
• W1996645107 hasConceptScore W1996645107C124047733 @default.
• W1996645107 hasConceptScore W1996645107C134752490 @default.
• W1996645107 hasConceptScore W1996645107C154945302 @default.
• W1996645107 hasConceptScore W1996645107C167729594 @default.
• W1996645107 hasConceptScore W1996645107C195344581 @default.
• W1996645107 hasConceptScore W1996645107C199343813 @default.
• W1996645107 hasConceptScore W1996645107C199360897 @default.
• W1996645107 hasConceptScore W1996645107C206880738 @default.
• W1996645107 hasConceptScore W1996645107C2318724 @default.
• W1996645107 hasConceptScore W1996645107C2524010 @default.
• W1996645107 hasConceptScore W1996645107C2777686260 @default.
• W1996645107 hasConceptScore W1996645107C33923547 @default.
• W1996645107 hasConceptScore W1996645107C3746660 @default.
• W1996645107 hasConceptScore W1996645107C41008148 @default.
• W1996645107 hasConceptScore W1996645107C62073222 @default.
• W1996645107 hasConceptScore W1996645107C71924100 @default.
• W1996645107 hasConceptScore W1996645107C74992188 @default.
• W1996645107 hasConceptScore W1996645107C97364631 @default.
• W1996645107 hasLocation W19966451071 @default.
• W1996645107 hasOpenAccess W1996645107 @default.
• W1996645107 hasPrimaryLocation W19966451071 @default.
• W1996645107 hasRelatedWork W1496513209 @default.
• W1996645107 hasRelatedWork W1497433495 @default.
• W1996645107 hasRelatedWork W150630888 @default.
• W1996645107 hasRelatedWork W1534629551 @default.
• W1996645107 hasRelatedWork W1545906290 @default.

• next