Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985 (Q3755423): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2273931
@@ Property / full work available at URL: https://doi.org/10.2307/2273931 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2008917267
@@ Property / OpenAlex ID: W2008917267 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Caracterisation des algèbres de Nelson par des egalités, I
+Normal rank
@@ Property / cites work @@
+Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
+Normal rank
@@ Property / cites work @@
+Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Variable Binding Term Operators
@@ Property / cites work: Variable Binding Term Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Logic with truth values in A linearly ordered heyting algebra
+Normal rank
@@ Property / cites work @@
+Varieties of orthomodular lattices related to states
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Coproducts in the categories of Kleene and three-valued Lukasiewicz algebras
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Equational characterization of Nelson algebra
@@ Property / cites work: Equational characterization of Nelson algebra / rank @@
+Normal rank