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 (only showing first 100 items - show all)
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
This page was built for publication: A New Proof of the Completeness of the Lukasiewicz Axioms
