Complexity issues in Basic Logic (Q816857): Difference between revisions

@@ Property / DOI @@
-.1007/s00500-004-0443-y
@@ Property / DOI: 10.1007/s00500-004-0443-y / rank @@
-Normal rank
@@ Property / author @@
-Stefano Aguzzoli
@@ Property / author: Stefano Aguzzoli / rank @@
-Normal rank
@@ Property / author @@
-Brunella Gerla
@@ Property / author: Brunella Gerla / rank @@
-Normal rank
@@ Property / author @@
-Zuzana Haniková
@@ Property / author: Zuzana Haniková / rank @@
-Normal rank
@@ Property / author @@
+Stefano Aguzzoli
@@ Property / author: Stefano Aguzzoli / rank @@
+Normal rank
@@ Property / author @@
+Brunella Gerla
@@ Property / author: Brunella Gerla / rank @@
+Normal rank
@@ Property / author @@
+Zuzana Haniková
@@ Property / author: Zuzana Haniková / rank @@
+Normal rank
@@ 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.1007/s00500-004-0443-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2008823310
@@ Property / OpenAlex ID: W2008823310 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of BL-algebras. I: General properties.
@@ Property / cites work: Varieties of BL-algebras. I: General properties. / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness in infinite-valued Łukasiewicz logic
@@ Property / cites work: Finiteness in infinite-valued Łukasiewicz logic / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-valued reductions of infinite-valued logics
+Normal rank
@@ Property / cites work @@
+Embedding logics into product logic
@@ Property / cites work: Embedding logics into product logic / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of t-tautologies
@@ Property / cites work: Complexity of t-tautologies / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-normal forms and functional representation of product fuzzy logic.
+Normal rank
@@ Property / cites work @@
+Residuated fuzzy logics with an involutive negation
+Normal rank
@@ Property / cites work @@
+Equational characterization of the subvarieties of BL generated by t-norm algebras
+Normal rank
@@ Property / cites work @@
+Q5687941
@@ Property / cites work: Q5687941 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on functions associated with Gödel formulas
+Normal rank
@@ Property / cites work @@
+Q4289327
@@ Property / cites work: Q4289327 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-valued logic and mixed integer programming
@@ Property / cites work: Many-valued logic and mixed integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Standard algebras for fuzzy propositional calculi
@@ Property / cites work: Standard algebras for fuzzy propositional calculi / rank @@
+Normal rank
@@ Property / cites work @@
+A theorem about infinite-valued sentential logic
@@ Property / cites work: A theorem about infinite-valued sentential logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of semi-groups on a compact manifold with boundary
+Normal rank
@@ Property / cites work @@
+Satisfiability in many-valued sentential logic is NP-complete
+Normal rank
@@ Property / cites work @@
+A constructive proof of McNaughton's theorem in infinite-valued logic
+Normal rank
@@ Property / cites work @@
+Q4269081
@@ Property / cites work: Q4269081 / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of Many-Valued Statement Calculi
@@ Property / cites work: Fragments of Many-Valued Statement Calculi / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00500-004-0443-Y
@@ Property / DOI: 10.1007/S00500-004-0443-Y / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:816857