A temporal semantics for nilpotent minimum logic (Q2353684): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2022561355
@@ Property / OpenAlex ID: W2022561355 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59321726
@@ Property / Wikidata QID: Q59321726 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5916
@@ Property / arXiv ID: 1310.5916 / rank @@
+Normal rank
@@ Property / cites work @@
+A temporal semantics for basic logic
@@ Property / cites work: A temporal semantics for basic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
+Normal rank
@@ Property / cites work @@
+Probability measures in the logic of nilpotent minimum
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+Q4381708
@@ Property / cites work: Q4381708 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126166
@@ Property / cites work: Q3126166 / rank @@
+Normal rank
@@ Property / cites work @@
+Free nilpotent minimum algebras
@@ Property / cites work: Free nilpotent minimum algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Logic with Strong Negation as a Substructural Logic
+Normal rank
@@ Property / cites work @@
+Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
+Normal rank
@@ Property / cites work @@
+Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexities of axiomatic extensions of monoidal t-norm based logic
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Q3508715
@@ Property / cites work: Q3508715 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
+Normal rank
@@ Property / cites work @@
+Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
+Normal rank
@@ Property / cites work @@
+On expansions of WNM t-norm based logics with truth-constants
+Normal rank
@@ Property / cites work @@
+Q3222191
@@ Property / cites work: Q3222191 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5704852
@@ Property / cites work: Q5704852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4465174
@@ Property / cites work: Q4465174 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Triangular norms
@@ Property / cites work: Triangular norms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5554943
@@ Property / cites work: Q5554943 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751631
@@ Property / cites work: Q3751631 / rank @@
+Normal rank
@@ Property / cites work @@
+A geometry of approximation. Rough set theory: logic, algebra and topology of conceptual patterns.
+Normal rank
@@ Property / cites work @@
+Rough sets
@@ Property / cites work: Rough sets / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2353684