Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985
From MaRDI portal
Publication:3755423
DOI10.2307/2273931zbMath0619.03006MaRDI QIDQ3755423
No author found.
Publication date: 1986
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273931
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
Cites Work
- Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
- Varieties of orthomodular lattices related to states
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Coproducts in the categories of Kleene and three-valued Lukasiewicz algebras
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- An algebraic approach to non-classical logics
- Equational characterization of Nelson algebra
- On the theory of inconsistent formal systems
- Caracterisation des algèbres de Nelson par des egalités, I
- Logic with truth values in A linearly ordered heyting algebra
- Variable Binding Term Operators