p. 373-389
On a Generalization of Pseudo MV-Algebras Quasi-matrix Logic
Jan Kühr
Abstract
Full Text (IP)
p. 391-407
ML-TIPN: An Algorithm for Automated Acquisition of Domain Models based on Time Interval Petri Nets
Vadim Bulitko and David C.Wilkins
Abstract
Full Text (IP)
p. 409-415
Characterization of Boolean Topological Logics Short Form: Boolean Topological Logics
Anthony R. Fressola, Joan E. Krone, Storyan G. Paunov and Michael D. Westmoreland
Abstract
Full Text (IP)
p. 417-429
On Universality of General Reversible Multiple-Valued Logic Gates
Pawel Kerntopf, Marek Perkowski and Mozammel H. A. Khan
Abstract
Full Text (IP)
p. 431-450
Synthesis of Quantum Multiple-Valued Circuits
D. Michael Miller, Dmitri Maslov, and Gerhard W. Dueck
Abstract
Full Text (IP)
p. 451-457
Unary Minimal Partial Hyperclones
Jovanka Pantovic, Biljana Rodic and Gradimir Vojvodic
Abstract
Full Text (IP)
p. 459-489
Evolutionary Strategy for Learning Multiple-Valued Logic Functions
Alioune Ngom, Dan A. Simovici, and Ivan Stojmenovic
Abstract
Full Text (IP)
p. 491-508
Extended Fuzzy Equational Logic
Vilém Vychodil
Abstract
Full Text (IP)
p. 509-516
Intuitionistic Fuzzy Approach to Topological BCK-Algebras
Young Bae Jun and Hee Sik Kim
Abstract
Full Text (IP)
p. 517-520
Equations in Bounded Lattices with Kronecker Delta
Dragic Bankovic
Abstract
Full Text (IP)
p. 521-537
Weakly Standard BCC-Algebras
R. Halas and L. Plojhar
Abstract
Full Text (IP)
p. 539-559
Computation of Fuzzy Truth Values for The Liar and Related Self-Referential Systems
Ath. Kehagias and K. Ezerides
Abstract
Full Text (IP)
p. 561-573
The Cost of Quantum Gate Primitives
Soonchil Lee, Seong-Joo Lee, Taegon Kim, Jae-Seung Lee, Jacob Biamonte and Marek Perkowski
Abstract
Full Text (IP)
p. 575-629
Classes of pseudo-BCK algebras – Part II
Afrodita Iorgulescu
Abstract
Full Text (IP)