Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference26 articles.
1. Aguzzoli S., Gerla B.: Normal Forms and Free Algebras for Some Extensions of MTL. Fuzzy Sets and Systems 159, 1131–1152 (2008)
2. Bauland, M., H. Schnoor, E. Hemaspaandra, and I. Schnoor, Generalized Modal Satisfiability, Proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science (STACS’06), 2006, pp. 500–511.
3. Bauland, M., H. Schnoor I. Schnoor, T. Schneider, and H. Vollmer, The Complexity of Generalized Satisfiability for Linear Temporal Logic, Logical Methods in Computer Science 5:1, 2008.
4. Berman J., Blok W. J.: Stipulations, Multivalued Logic, and De Morgan Algebras. Journal of Multiple-Valued Logic and Soft Computing 7(5-6), 391–416 (2001)
5. Berman J., Mukaidono M.: Enumerating fuzzy switching functions and free Kleene algebra. Computers and Mathematics with Applications 10(1), 25–35 (1984)