Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985
From MaRDI portal
Publication:3755423
Cites work
- A logic for default reasoning
- An algebraic approach to non-classical logics
- Caracterisation des algèbres de Nelson par des egalités, I
- Circumscription - a form of non-monotonic reasoning
- Coproducts in the categories of Kleene and three-valued Lukasiewicz algebras
- Equational characterization of Nelson algebra
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Logic with truth values in A linearly ordered heyting algebra
- Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
- On the theory of inconsistent formal systems
- Variable Binding Term Operators
- Varieties of orthomodular lattices related to states
This page was built for publication: Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3755423)