Matches in SemOpenAlex for { <https://semopenalex.org/work/W2956295498> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2956295498 abstract "A semantic tableau prover was implemented in Prolog for the following three many-valued logics: First Degree Entailment (FDE), (Strong) Kleene’s Logic (K3), and the Logic of Paradox (LP). These logics have one or two truth values more than classical logic, which only has the truth values true and false. The tableau rules for these three logics are similar, but differ in regard to their use of the non-classical truth values. The tableau prover uses the sound and complete tableau rules of the corresponding logics, and uses the same precedence hierarchy for the connectives as humans. The system was tested in a survey on interface and usability with regard to two types of proofs and counterexamples. In the first case, the proof tree was made with a depth-first approach, and the second proof tree was made with a breadth-first approach. In this survey, the breadth-first search proof was preferred. No examination of efficiency was done." @default.
- W2956295498 created "2019-07-23" @default.
- W2956295498 creator A5036761974 @default.
- W2956295498 date "2019-07-12" @default.
- W2956295498 modified "2023-09-26" @default.
- W2956295498 title "A Tableau Prover for Many-Valued Logics" @default.
- W2956295498 hasPublicationYear "2019" @default.
- W2956295498 type Work @default.
- W2956295498 sameAs 2956295498 @default.
- W2956295498 citedByCount "0" @default.
- W2956295498 crossrefType "dissertation" @default.
- W2956295498 hasAuthorship W2956295498A5036761974 @default.
- W2956295498 hasConcept C105605280 @default.
- W2956295498 hasConcept C108710211 @default.
- W2956295498 hasConcept C118615104 @default.
- W2956295498 hasConcept C154945302 @default.
- W2956295498 hasConcept C159718280 @default.
- W2956295498 hasConcept C162324750 @default.
- W2956295498 hasConcept C162838799 @default.
- W2956295498 hasConcept C195653647 @default.
- W2956295498 hasConcept C199343813 @default.
- W2956295498 hasConcept C199360897 @default.
- W2956295498 hasConcept C2318724 @default.
- W2956295498 hasConcept C2524010 @default.
- W2956295498 hasConcept C2777686260 @default.
- W2956295498 hasConcept C31170391 @default.
- W2956295498 hasConcept C32241873 @default.
- W2956295498 hasConcept C33923547 @default.
- W2956295498 hasConcept C34447519 @default.
- W2956295498 hasConcept C39920170 @default.
- W2956295498 hasConcept C41008148 @default.
- W2956295498 hasConcept C42011625 @default.
- W2956295498 hasConcept C5263885 @default.
- W2956295498 hasConcept C58166 @default.
- W2956295498 hasConcept C71924100 @default.
- W2956295498 hasConcept C86602344 @default.
- W2956295498 hasConceptScore W2956295498C105605280 @default.
- W2956295498 hasConceptScore W2956295498C108710211 @default.
- W2956295498 hasConceptScore W2956295498C118615104 @default.
- W2956295498 hasConceptScore W2956295498C154945302 @default.
- W2956295498 hasConceptScore W2956295498C159718280 @default.
- W2956295498 hasConceptScore W2956295498C162324750 @default.
- W2956295498 hasConceptScore W2956295498C162838799 @default.
- W2956295498 hasConceptScore W2956295498C195653647 @default.
- W2956295498 hasConceptScore W2956295498C199343813 @default.
- W2956295498 hasConceptScore W2956295498C199360897 @default.
- W2956295498 hasConceptScore W2956295498C2318724 @default.
- W2956295498 hasConceptScore W2956295498C2524010 @default.
- W2956295498 hasConceptScore W2956295498C2777686260 @default.
- W2956295498 hasConceptScore W2956295498C31170391 @default.
- W2956295498 hasConceptScore W2956295498C32241873 @default.
- W2956295498 hasConceptScore W2956295498C33923547 @default.
- W2956295498 hasConceptScore W2956295498C34447519 @default.
- W2956295498 hasConceptScore W2956295498C39920170 @default.
- W2956295498 hasConceptScore W2956295498C41008148 @default.
- W2956295498 hasConceptScore W2956295498C42011625 @default.
- W2956295498 hasConceptScore W2956295498C5263885 @default.
- W2956295498 hasConceptScore W2956295498C58166 @default.
- W2956295498 hasConceptScore W2956295498C71924100 @default.
- W2956295498 hasConceptScore W2956295498C86602344 @default.
- W2956295498 hasLocation W29562954981 @default.
- W2956295498 hasOpenAccess W2956295498 @default.
- W2956295498 hasPrimaryLocation W29562954981 @default.
- W2956295498 hasRelatedWork W1496058835 @default.
- W2956295498 hasRelatedWork W1506453489 @default.
- W2956295498 hasRelatedWork W1515259164 @default.
- W2956295498 hasRelatedWork W1530399390 @default.
- W2956295498 hasRelatedWork W1531887852 @default.
- W2956295498 hasRelatedWork W1536015803 @default.
- W2956295498 hasRelatedWork W1536132061 @default.
- W2956295498 hasRelatedWork W1552653022 @default.
- W2956295498 hasRelatedWork W1574843523 @default.
- W2956295498 hasRelatedWork W1582676071 @default.
- W2956295498 hasRelatedWork W2022963984 @default.
- W2956295498 hasRelatedWork W2049227737 @default.
- W2956295498 hasRelatedWork W2110126675 @default.
- W2956295498 hasRelatedWork W2315648582 @default.
- W2956295498 hasRelatedWork W2481241902 @default.
- W2956295498 hasRelatedWork W2484826533 @default.
- W2956295498 hasRelatedWork W2497456301 @default.
- W2956295498 hasRelatedWork W2570945757 @default.
- W2956295498 hasRelatedWork W2761739794 @default.
- W2956295498 hasRelatedWork W46797684 @default.
- W2956295498 isParatext "false" @default.
- W2956295498 isRetracted "false" @default.
- W2956295498 magId "2956295498" @default.
- W2956295498 workType "dissertation" @default.