Title | ||
---|---|---|
Algebraic Structures Related to Many Valued Logical Systems. Part II: Equivalence Among some Widespread Structures |
Abstract | ||
---|---|---|
Several algebraic structures (namely HW, BZMV dM, Stonean MV and MV Δ algebras) related to many valued logical systems are considered and their equivalence is proved. Four propositional calculi whose Lindenbaum-Tarski algebra corresponds to the four equivalent algebraic structures are axiomatized and their semantical completeness is given. |
Year | Venue | Keywords |
---|---|---|
2004 | Fundam. Inform. | logical system,part ii,equivalent algebraic structure,widespread structures,lindenbaum-tarski algebra corresponds,algebraic structure,bzmv dm,stonean mv,logical systems,propositional calculus,semantical completeness,many valued logic,equivalence |
Field | DocType | Volume |
Logical equivalence,Discrete mathematics,Dimension of an algebraic variety,Algebra,Algebraic structure,Pure mathematics,Algebraic cycle,Equivalence (measure theory),Completeness (statistics),Mathematics | Journal | 63 |
Issue | ISSN | Citations |
4 | 0169-2968 | 8 |
PageRank | References | Authors |
1.03 | 4 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gianpiero Cattaneo | 1 | 566 | 58.22 |
Davide Ciucci | 2 | 672 | 53.74 |
Roberto Giuntini | 3 | 118 | 26.43 |
Martin Konig | 4 | 19 | 2.14 |