Search Results

Rough equivalence and algebraic properties of rough sets

Authors: Tripathy, B.K.; Mitra, Anirban; Ojha, J.

Source: International Journal of Artificial Intelligence and Soft Computing, Volume 1, Numbers 2-3, 19 July 2009 , pp. 271-289(19)

Publisher: Inderscience Publishers

Algebraic and Coalgebraic Logic Corner

Author: Venema, Yde

Source: Journal of Logic and Computation, Volume 19, Number 2, 21 April 2009 , pp. 303-303(1)

Publisher: Oxford University Press

Nominal Algebra and the HSP Theorem

Author: Gabbay, Murdoch J.

Source: Journal of Logic and Computation, Volume 19, Number 2, 21 April 2009 , pp. 341-367(27)

Publisher: Oxford University Press

Logic-algebraic method based and constraints programming driven approach to AGVs scheduling

Authors: Bocewicz, Grzegorz; Bach, Irena; Banaszak, Zbigniew A.

Source: International Journal of Intelligent Information and Database Systems, Volume 3, Number 1, 8 February 2009 , pp. 56-74(19)

Publisher: Inderscience Publishers

Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based π-Institutions

Author: Voutsadakis, George

Source: Logic Journal of the IGPL, Volume 16, Number 3, June 2008 , pp. 233-248(16)

Publisher: Oxford University Press

Invariant Measures in Free MV-Algebras

Author: Panti, Giovanni

Source: Communications in Algebra, Volume 36, Number 8, August 2008 , pp. 2849-2861(13)

Publisher: Taylor and Francis Ltd

Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems

Author: Voutsadakis, George

Source: Communications in Algebra, Volume 36, Number 8, August 2008 , pp. 3093-3112(20)

Publisher: Taylor and Francis Ltd

On the Behavioral Equivalence Between k-data Structures

Author: Martins, Manuel A.

Source: Computer Journal, Volume 51, Number 2, 22 March 2008 , pp. 181-191(11)

Publisher: Oxford University Press

First-Order Theories of Orthogonality Structures

Author: Kellerman, Ruaan

Source: Logic Journal of the IGPL, Volume 15, Number 3, June 2007 , pp. 255-270(16)

Publisher: Oxford University Press

An Interpolation Theorem for First Order Logic with Infinitary Predicates

Author: Sayed-ahmed, Tarek

Source: Logic Journal of the IGPL, Volume 15, Number 1, January 2007 , pp. 21-32(12)

Publisher: Oxford University Press

On Neat Reducts and Amalgamation

Author: Sayed-Ahmed, Tarek

Source: Logic Journal of the IGPL, Volume 15, Number 1, January 2007 , pp. 33-39(7)

Publisher: Oxford University Press

A Neat Embedding Theorem for Expansions of Cylindric Algebras

Authors: Sayed-Ahmed, Tarek; Samir, Basim

Source: Logic Journal of the IGPL, Volume 15, Number 1, January 2007 , pp. 41-51(11)

Publisher: Oxford University Press

Structuralist Logic: Implications, Inferences, and Consequences

Author: Koslow, Arnold

Source: Logica Universalis, Volume 1, Number 1, January 2007 , pp. 167-181(15)

Publisher: Springer

Kripke Models, Distributive Lattices, and Medvedev Degrees

Author: Terwijn, Sebastiaan

Source: Studia Logica, Volume 85, Number 3, April 2007 , pp. 319-332(14)

Publisher: Springer

Homomorphisms of fuzzy recognizers

Author: Chaudhari, S.R.

Source: Kybernetes: The International Journal of Systems & Cybernetics, Volume 36, Numbers 5-6, 2007 , pp. 768-775(8)

Publisher: Emerald Group Publishing Limited

A New View on Fuzzy Hypermodules

Authors: Zhan, Jian; Davvaz, Bijan; Shum, K.

Source: Acta Mathematica Sinica, Volume 23, Number 8, August 2007 , pp. 1345-1356(12)

Publisher: Springer

Modeling and simulation of a two combustion chambers liquid propellant engine

Authors: Karimi, Hassan; Mohammadi, Rafat

Source: Aircraft Engineering and Aerospace Technology: An International Journal, Volume 79, Number 4, 2007 , pp. 390-397(8)

Publisher: Emerald Group Publishing Limited

Application and verification of fuzzy algebraic operators to landslide susceptibility mapping

Author: Lee, Saro

Source: Environmental Geology, Volume 52, Number 4, April 2007 , pp. 615-623(9)

Publisher: Springer

Foundation for Quantum Computing II

Author: Selesnick, S.

Source: International Journal of Theoretical Physics, Volume 46, Number 4, April 2007 , pp. 984-1002(19)

Publisher: Springer

Amalgamation, interpolation and epimorphisms in algebraic logic

Authors: Madárasz, Judit; Sayed-Ahmed, Tarek

Source: algebra universalis, Volume 56, Number 2, March 2007 , pp. 179-210(32)

Publisher: Springer