Matches in SemOpenAlex for { <https://semopenalex.org/work/W2356293610> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2356293610 abstract "Under the condition of limit set Sn consisting of atomic formulas,the structure of D(Γ) which is the set of all conclusions of a given formula set Γ in two-valued propositional logic is discussed.By using the result,the general representation of formulas in F(Sn) in the meaning of provable equivalence,and making a special mapping,the operations of ∧,∨,→ among formulas change into operations of ∧,∨,′on a special set in the meaning of provable equivalence,and then several results below are acquired.(1) for A∈F(Sn),ΓF(Sn),the necessary and sufficient condition of whether A∈D(Γ) is given;(2) for ΓF(Sn),the necessary and sufficient condition of whether Γ is consistent is given;(3) for ΓF(Sn),the number of formulas of F(Sn) in D(Γ) in the meaning of provable equivalence is given;(4) for Γ1,Γ2 F(Sn),the relation between D(Γ1) and D(Γ2) is given;(5) for A∈F(Sn),ΓF(Sn),in the meaning of provable equivalence,the formula which is the nearest one to A in D(Γ) is given." @default.
- W2356293610 created "2016-06-24" @default.
- W2356293610 creator A5033707157 @default.
- W2356293610 date "2009-01-01" @default.
- W2356293610 modified "2023-09-23" @default.
- W2356293610 title "The structure of D(Γ) which is the set of all conclusions of a given formula set Γ in F(S_n)" @default.
- W2356293610 hasPublicationYear "2009" @default.
- W2356293610 type Work @default.
- W2356293610 sameAs 2356293610 @default.
- W2356293610 citedByCount "0" @default.
- W2356293610 crossrefType "journal-article" @default.
- W2356293610 hasAuthorship W2356293610A5033707157 @default.
- W2356293610 hasConcept C114614502 @default.
- W2356293610 hasConcept C118615104 @default.
- W2356293610 hasConcept C156103551 @default.
- W2356293610 hasConcept C15744967 @default.
- W2356293610 hasConcept C177264268 @default.
- W2356293610 hasConcept C199360897 @default.
- W2356293610 hasConcept C2780069185 @default.
- W2356293610 hasConcept C2780876879 @default.
- W2356293610 hasConcept C33923547 @default.
- W2356293610 hasConcept C41008148 @default.
- W2356293610 hasConcept C542102704 @default.
- W2356293610 hasConcept C70846408 @default.
- W2356293610 hasConceptScore W2356293610C114614502 @default.
- W2356293610 hasConceptScore W2356293610C118615104 @default.
- W2356293610 hasConceptScore W2356293610C156103551 @default.
- W2356293610 hasConceptScore W2356293610C15744967 @default.
- W2356293610 hasConceptScore W2356293610C177264268 @default.
- W2356293610 hasConceptScore W2356293610C199360897 @default.
- W2356293610 hasConceptScore W2356293610C2780069185 @default.
- W2356293610 hasConceptScore W2356293610C2780876879 @default.
- W2356293610 hasConceptScore W2356293610C33923547 @default.
- W2356293610 hasConceptScore W2356293610C41008148 @default.
- W2356293610 hasConceptScore W2356293610C542102704 @default.
- W2356293610 hasConceptScore W2356293610C70846408 @default.
- W2356293610 hasOpenAccess W2356293610 @default.
- W2356293610 hasRelatedWork W1612740930 @default.
- W2356293610 hasRelatedWork W1854842720 @default.
- W2356293610 hasRelatedWork W1969370042 @default.
- W2356293610 hasRelatedWork W1973988314 @default.
- W2356293610 hasRelatedWork W1983662041 @default.
- W2356293610 hasRelatedWork W1999888490 @default.
- W2356293610 hasRelatedWork W2021954189 @default.
- W2356293610 hasRelatedWork W2030122740 @default.
- W2356293610 hasRelatedWork W2046713865 @default.
- W2356293610 hasRelatedWork W2048904063 @default.
- W2356293610 hasRelatedWork W2063290722 @default.
- W2356293610 hasRelatedWork W2101189029 @default.
- W2356293610 hasRelatedWork W2179594056 @default.
- W2356293610 hasRelatedWork W2392371037 @default.
- W2356293610 hasRelatedWork W2745706507 @default.
- W2356293610 hasRelatedWork W2794025910 @default.
- W2356293610 hasRelatedWork W2900150481 @default.
- W2356293610 hasRelatedWork W2957236571 @default.
- W2356293610 hasRelatedWork W3102508537 @default.
- W2356293610 hasRelatedWork W848345495 @default.
- W2356293610 isParatext "false" @default.
- W2356293610 isRetracted "false" @default.
- W2356293610 magId "2356293610" @default.
- W2356293610 workType "article" @default.