Table of Contents

• Spectral Techniques: The First Decade of the XXI Century (Invited Paper)Claudio Moraga. 3-8 [doi]
• Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper)João P. Marques Silva. 9-14 [doi]
• MDGs Reduction Technique Based on the HOL Theorem ProverSa ed Abed, Otmane Aït Mohamed. 15-20 [doi]
• The Automorphism Group of Finite Godel AlgebrasStefano Aguzzoli, Brunella Gerla, Vincenzo Marra. 21-26 [doi]
• Schauder Hats for the Two-Variable Fragment of BLStefano Aguzzoli, Simone Bova. 27-32 [doi]
• Learning of the Non-threshold Functions of Multiple-Valued Logic by a Single Multi-valued Neuron with a Periodic Activation FunctionIgor N. Aizenberg. 33-38 [doi]
• Synthesis of Reversible Circuits with No Ancilla Bits for Large Reversible Functions Specified with Bit EquationsNouraddin Alhagi, Maher Hawash, Marek A. Perkowski. 39-45 [doi]
• New Insights into Encodings from MaxCSP into Partial MaxSATJosep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà. 46-52 [doi]
• Non-deterministic Multi-valued Logics--A TutorialArnon Avron, Anna Zamansky. 53-60 [doi]
• Logics of Reasonable Information SourcesArnon Avron, Jonathan Ben-Naim, Beata Konikowska. 61-66 [doi]
• Design of Tamper-Resistant Registers for Multiple-Valued Cryptographic ProcessorsYuichi Baba, Naofumi Homma, Atsushi Miyamoto, Takafumi Aoki. 67-72 [doi]
• On a Graded Notion of t-Norm and DominanceLibor Behounek, Petr Cintula, Ulrich Bodenhofer, Susanne Saminger-Platz, Peter Sarkoci. 73-78 [doi]
• Low Voltage Semi Floating-Gate Binary to Multiple-Value and Multiple-Value to Binary ConvertersYngvar Berg. 79-82 [doi]
• Infinite-Valued Lukasiewicz Logic Based on Principal Lattice FiltersFélix Bou. 83-88 [doi]
• Completions in Subvarieties of BL-AlgebrasManuela Busaniche, Leonardo Manuel Cabrer. 89-92 [doi]
• Two Many Values: An Algorithmic Outlook on Suszko s ThesisCarlos Caleiro, João Marcos. 93-97 [doi]
• Truth-Functionality, Rough Sets and Three-Valued LogicsDavide Ciucci, Didier Dubois. 98-103 [doi]
• Co-stone Residuated LatticesClaudia Muresan. 104-107 [doi]
• The Euler Characteristic of a Formula in Godel LogicPietro Codara, Ottavio M. D Antona, Vincenzo Marra. 108-112 [doi]
• The Arity Gap of Polynomial Functions over Bounded Distributive LatticesMiguel Couceiro, Erkko Lehtonen. 113-116 [doi]
• Classes of Operations Closed under Permutation, Cylindrification and CompositionMiguel Couceiro, Erkko Lehtonen. 117-121 [doi]
• Finitely Generated Maximal Partial Clones and Their IntersectionsMiguel Couceiro, Lucien Haddad. 122-127 [doi]
• Quaternary Voltage-Mode Logic Cells and Fixed-Point Multiplication CircuitsSatyendra R. Datla, Mitchell A. Thornton. 128-133 [doi]
• Revisiting Ultraproducts in Fuzzy Predicate LogicsPilar Dellunde. 134-139 [doi]
• Generating the Variety of SMV-AlgebrasAntonio di Nola, Tommaso Flaminio. 140-143 [doi]
• Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-Based Bounded Model CheckingElena Dubrova, Maxim Teslenko, Liu Ming. 144-149 [doi]
• An Evolutionary Algorithm for Optimization of Pseudo Kronecker ExpressionsAlexander Finder, Rolf Drechsler. 150-155 [doi]
• Efficient Simulation-Based Debugging of Reversible LogicStefan Frehse, Robert Wille, Rolf Drechsler. 156-161 [doi]
• Representing Fuzzy Structures in Quantum Computation with Mixed StatesHector Freytes, Roberto Giuntini, Giuseppe Sergioli, Antonio Arico. 162-166 [doi]
• Switching Activity in Stochastic DecodersVincent C. Gaudet, Warren J. Gross. 167-172 [doi]
• Toffoli Gate Implementation Using the Billiard Ball ModelHadi Hosseini, Gerhard W. Dueck. 173-178 [doi]
• Low-Power Multiple-Valued Reconfigurable VLSI Based on Superposition of Bit-Serial Data and Current-Source Control SignalsAkitaka Ishikawa, Nobuaki Okada, Michitaka Kameyama. 179-184 [doi]
• Note on Construction of Probabilities on Many-Valued Events via Schauder Bases and Inverse LimitsTomás Kroupa. 185-188 [doi]
• A Classification of Partial Boolean ClonesDietlinde Lau, Karsten Schölzel. 189-194 [doi]
• Endoprimal Monoids and Witness Lemma in Clone TheoryHajime Machida, Ivo G. Rosenberg. 195-200 [doi]
• Galois Connection for HyperclonesHajime Machida, Jovanka Pantovic, Ivo G. Rosenberg. 201-204 [doi]
• Interpolation Properties for Uninorm Based LogicsEnrico Marchioni, George Metcalfe. 205-210 [doi]
• One-Color Two-Phase Asynchronous Communication Links Based on Multiple-Valued Simultaneous ControlAtsushi Matsumoto, Naoya Onizawa, Takahiro Hanyu. 211-216 [doi]
• Reducing Reversible Circuit Cost by Adding LinesD. Michael Miller, Robert Wille, Rolf Drechsler. 217-222 [doi]
• Floating-Point Numeric Function Generators Based on Piecewise-Split EVMDDsShinobu Nagayama, Tsutomu Sasao, Jon T. Butler. 223-228 [doi]
• A Comparison of Architectures for Various Decision Diagram MachinesHiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura. 229-234 [doi]
• Low-Energy Pipelined Multiple-Valued Current-Mode Circuit with 8-Level Static Current-Source ControlMasanori Natsui, Takashi Arimitsu, Takahiro Hanyu. 235-240 [doi]
• Reconstruction of Additive Generators from Partial Derivatives of Continuous Archimedean t-NormsMirko Navara, Milan Petrík, Peter Sarkoci. 241-244 [doi]
• Synthesis of Small Reversible and Pseudo-Reversible Circuits Using Y-Gates and Inverse Y-GatesMarek A. Perkowski, Nouraddin Alhagi, Martin Lukac, Neha Saxena, Scott Blakely. 245-251 [doi]
• A Graded Inference Approach Based on Infinite-Valued Lukasiewicz SemanticsDavid Picado-Muiño. 252-257 [doi]
• Multiple-Valued Logic Interpretations of Analogical, Reverse Analogical, and Paralogical ProportionsHenri Prade, Gilles Richard. 258-263 [doi]
• Secure Design Flow for Asynchronous Multi-valued Logic CircuitsAshur Rafiev, Julian P. Murphy, Alexandre Yakovlev. 264-269 [doi]
• Mapping Binary Functions to a Practical Adiabatic Quantum ComputerDavid J. Rosenbaum, Marek A. Perkowski. 270-275 [doi]
• ESOP-Based Toffoli Network Generation with TransformationsYasaman Sanaee, Gerhard W. Dueck. 276-281 [doi]
• On the Number of Products to Represent Interval Functions by SOPs with Four-Valued VariablesTsutomu Sasao. 282-287 [doi]
• Number of Maximal Partial ClonesKarsten Schölzel. 288-293 [doi]
• Information-Theoretical Mining of Determining Sets for Partially Defined FunctionsDan A. Simovici, Dan Pletea, Rosanne Vetro. 294-299 [doi]
• Queries with Multivalued Logic-Based Semantics for Imperfect Information FusionDaniel Stamate. 300-306 [doi]
• Heterogeneous Decision Diagrams for Applications in Harmonic Analysis on Finite Non-Abelian GroupsStanislav Stankovic, Jaakko Astola, D. Michael Miller, Radomir S. Stankovic. 307-312 [doi]
• Remarks on Applicability of Spectral Representations on Finite Non-Abelian Groups in the Design for RegularityRadomir S. Stankovic, Jaakko Astola, Claudio Moraga. 313-318 [doi]
• An Ontology Mediated Multimedia Information Retrieval SystemUmberto Straccia. 319-324 [doi]
• A Low-Power Successive Approximation Analog-to-Digital Converter Based on 2-Bit/Step ComparisonNaoki Sugiyama, Hiroshi Noto, Yoshito Nishigami, Ryosuke Oda, Takao Waho. 325-330 [doi]
• A Ternary Partial-Response Signaling Scheme for Capacitively Coupled InterfaceYasushi Yuminaka, Kyohei Kawano. 331-336 [doi]