A New Proof of the Completeness of the Lukasiewicz Axioms
From MaRDI portal
Publication:3269132
DOI10.2307/1993423zbMath0093.01104OpenAlexW4254853073WikidataQ114589937 ScholiaQ114589937MaRDI QIDQ3269132
Publication date: 1959
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1993423
Related Items
Commutative \(L\)-algebras and measure theory, HvMV-ALGEBRAS II, Computing on Lattice-Ordered Abelian Groups, A non-commutative generalization of MV-algebras, UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS, Some Properties of Residuated Lattices, \(L\)-algebras and three main non-classical logics, Commutative rings whose ideals form an MV-algebra, MV-algebras as sheaves of \(\ell\)-groups on fuzzy topological spaces, Holistic and compositional logics based on the Bertini gate, Semirings and pseudo MV algebras, Lattice of subalgebras in the finitely generated varieties of MV-algebras, Fuzzy representation of finite-valued quantum gates, Locally \(\sigma \)-complete and locally complete EMV-algebras, MV-pairs and states, Geometrical aspects of possibility measures on finite domain MV-clans, MV-algebras and partially cyclically ordered groups, On the geometric theory of local MV-algebras, An algebraic analysis of categorical syllogisms by using Carroll’s diagrams, Unnamed Item, Subalgebras, direct products and associated lattices of MV-algebras, The structure group of a non-degenerate effect algebra, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, \(L\)-effect algebras, Direct product decomposition of $MV$-algebras, Proper semantics for substructural logics, from a stalker theoretic point of view, Extending maps to profinite completions in finitely generated quasivarieties, On EMV-algebras with square roots, Linear \(L\)-algebras and prime factorization, Łukasiewicz and His Followers in Many-Valued Logic, Unnamed Item, Introduction, On some extensions of the class of MV-algebras, Monadic MV-algebras. I: A study of subvarieties, Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras., Kites and pseudo BL-algebras., Monadic MV-algebras. II: Monadic implicational subreducts, A metric-like topology yon BL-algebras, Unnamed Item, Unnamed Item, A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system, Unnamed Item, Unnamed Item, Bratteli diagrams via the De Concini–Procesi theorem, Representation of perfect and local MV-algebras, Blocks of homogeneous effect algebras, (Dual) Hoops Have Unique Halving, Unnamed Item, Natural dualities for varieties of MV-algebras. I, A non-associative generalization of MV-algebras, Decidable and undecidable prime theories in infinite-valued logic, Functorial representation theorems for MV\(_\Delta\) algebras with additional operators, MVW-rigs and product MV-algebras, Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic, The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview, Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case, Additive derivative and multiplicative coderivative operators on MV-algebras, The eal truth, Basic algebras, logics, trends and applications, Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics, Roughness in MV-algebras, Unnamed Item, Sequent calculus and data fusion, MV-algebras and quantum computation, An independent set of axioms of MV-algebras and solutions of the set-theoretical Yang-Baxter equation, Categorical equivalence between \(\mathrm{PMV}_f \)-product algebras and semi-low \(f_u \)-rings, The block structure of complete lattice ordered effect algebras, Representations of MV-algebras by sheaves, Spectrum Topology of a Residuated Lattice, A relationship between the category of chain MV-algebras and a subcategory of abelian groups, A theorem about infinite-valued sentential logic, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Sheaf representations and locality of Riesz spaces with order unit, Vague Domains, S-Unification and Logic Programming, Bounded contraction and Gentzen-style formulation of Łukasiewicz logics, Conditional probability on \(\sigma\)-MV-algebras, AF-algebras with lattice-ordered \(K_0\): logic and computation, Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops, On complete $MV$-algebras, A proof of the standard completeness for the involutive uninorm logic, Some results in weak pseudo-quasi-Wajsberg algebras, Boolean dominated MV-algebras, Natural dualities for varieties of BL-algebras, State \(L\)-algebras and derivations of \(L\)-algebras, Set of support, demodulation, paramodulation: a historical perspective, Sequential convergences on $MV$-algebras, Consequence Relations with Real Truth Values, Lexicographic MV-algebras and lexicographic states., Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem., MOST RESULTS ON A-IDEALS IN MV -MODULES, A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra, DRl-semigroups and MV-algebras, Subdirect product decompositions of MV-algebras, A set-theoretic proof of the representation of MV-algebras by sheaves, The geometry of discrete \(L\)-algebras, On bounded residuated \(\ell\)EQ-algebras, An elementary belief function logic, Rational Pavelka logic: the best among three worlds?, Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic, \(Z^{\circ}\)-ideals and \(Z\)-ideals in \(MV\)-algebras, Some results on derivations of MV-algebras, Towards a unified view on logics for uncertainty, Entropies and dynamical systems in Riesz MV-algebras, New perspectives on semi-primal varieties, Unnamed Item, Logic of infinite quantum systems, Non-commutative Łukasiewicz propositional logic, A multiple-valued logic approach to the design and verification of hardware circuits, Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus, Local MV-algebras, Modal definability based on Łukasiewicz validity relations, On normal forms in Łukasiewicz logic, Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups, Quantum conservative many-valued computing, \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic, Boolean algebras R-generated by MV-effect algebras, W-algebras which are Boolean products of members of SR[1 and CW- algebras], Normal forms for fuzzy logic functions and their approximation ability, Averaging the truth-value in Łukasiewicz logic, Generalized fuzzy connectives on \(MV\)-algebras, Turing complexity of Behncke-Leptin \(C^*\)-algebras with a two-point dual, Bernoulli automorphisms of finitely generated free MV-algebras, Quasilinear QMV algebras, Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro, Equational type characterization for \(\sigma\)-complete MV-algebras., On finite-valued propositional logical calculi, On transitivity of strict preference relations, Fuzzy conditional logic, The socle and fuzzy socle of a \(\text{BCI}\)-algebra, Word problems in Elliott monoids, Quantum MV algebras, A representation theorem for MV-algebras, Topological MV-algebras, On non-associative generalizations of MV-algebras and lattice-ordered commutative loops, An algebraic characterization of o-minimal and weakly o-minimal MV-chains, Varieties generated by unital abelian \(\ell\)-groups, Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality, Łukasiewicz logic and Riesz spaces., Derivations of MV-algebras, An analysis of the logic of Riesz spaces with strong unit, Scalar extensions for algebraic structures of Łukasiewicz logic., Least \(V\)-quasivarieties of MV-algebras, A direct product decomposition of QMV algebras, Weak QMV algebras and some ring-like structures, Notes on divisible MV-algebras, Finite homogeneous and lattice ordered effect algebras, Congruences generated by ideals of the compatibility center of lattice effect algebras, On theories of random variables, Partially undetermined many-valued events and their conditional probability, The dual adjunction between MV-algebras and Tychonoff spaces, The standard completeness of interval-valued monoidal t-norm based logic, A logical characterization of coherence for imprecise probabilities, State morphism MV-algebras, Interval MV-algebras and generalizations., A note of filters in effect algebras., Equational characterization of all varieties of MV-algebras, The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit., Propositional dynamic logic for searching games with errors, Extending Stone duality to multisets and locally finite MV-algebras., Amalgamation through quantifier elimination for varieties of commutative residuated lattices, One chain generated varieties of MV-algebras, Forcing in Łukasiewicz predicate logic, Some invariant skeletons for \(\ell\)-u groups and MV-algebras, Ideals in MV-pairs, Conditioning a state by a Łukasiewicz event: a probabilistic approach to Ulam games, Semi-simple and complete MV-algebras, Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\), Complete and atomic algebras of the infinite valued Łukasiewicz logic, L-algebras with duality and the structure group of a set-theoretic solution to the Yang-Baxter equation, Priestley duality and quotient lattices of many-valued algebras, The Rényi-Ulam games and many-valued logics, An extension of Stone duality to fuzzy topologies and MV-algebras, \(L\)-algebras, self-similarity, and \(l\)-groups, A characterization of interval-valued residuated lattices, Prime deductive systems and injective objects in the algebras of Łukasiewicz infinite-valued calculi, Partial and unsharp quantum logics., Representation of MV-algebras by regular ultrapowers of \([0,1\)], On fuzzy ideals in BCK/BCI-algebras, Implicit connectives of algebraizable logics, The semiring-theoretic approach to MV-algebras: a survey, Divisibility groupoids -- again, Rota's Fubini lectures: the first problem, Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic, Topological characterization of semisimple MV-algebras, Strong standard completeness for continuous t-norms, A note on effect algebras and dimension theory of AF C\(^*\)-algebras, The pseudo-linear semantics of interval-valued fuzzy logics, A variety containing EMV-algebras and Pierce sheaves of EMV-algebras, The Priestley duality for Wajsberg algebras, Some fuzzy concepts of BCI, BCK and MV-algebras, Convergence in perfect MV-algebras, Monadic MV-algebras are equivalent to monadic \(\ell \)-groups with strong unit, Boolean skeletons of MV-algebras and \(\ell \)-groups, A note on intervals of residuated \(\ell \)-groupoids, Tensor products and the Loomis-Sikorski theorem for MV-algebras, Filters and ideals in the generalization of pseudo-BL algebras, Decidable and undecidable MV-algebras, Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics, Strict MV-algebras, Algebraic structures in fuzzy logic, Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras, Wajsberg algebras and Post algebras, A classification of BL-algebras, Finiteness based results in BL-algebras, Frames and MV-algebras
