Search Results

Noncommutative Symmetric Differences in Orthomodular Lattices

Author: Dorfer, Gerhard

Source: International Journal of Theoretical Physics, Volume 44, Number 7, July 2005 , pp. 885-896(12)

Publisher: Springer

Approximation of Boolean Functions by Local Search

Authors: Albrecht A.; Wong C-K.

Source: Computational Optimization and Applications, Volume 27, Number 1, January 2004 , pp. 53-82(30)

Publisher: Springer

Virtual Modality

Author: Boos W.

Source: Synthese, Volume 136, Number 3, September 2003 , pp. 435-492(58)

Publisher: Springer

Normal forms and truth tables for fuzzy logics

Authors: Gehrke M.; Walker C.L.; Walker E.A.

Source: Fuzzy Sets and Systems, Volume 138, Number 1, 16 August 2003 , pp. 25-51(27)

Publisher: Elsevier

Discovering boundary algebra: a simple notation for Boolean algebra and the truth functors

Author: Meguire P.

Source: International Journal of General Systems, Volume 32, Number 1, 2003 , pp. 25-87(63)

Publisher: Taylor and Francis Ltd

Translation among CNFs, characteristic models and ordered binary decision diagrams

Authors: Horiyama T.; Ibaraki T.

Source: Information Processing Letters, Volume 85, Number 4, 28 February 2003 , pp. 191-198(8)

Publisher: Elsevier

Efficient dualization of O(logn)-term monotone disjunctive normal forms

Author: Makino K.

Source: Discrete Applied Mathematics, Volume 126, Number 2, 15 March 2003 , pp. 305-312(8)

Publisher: Elsevier

Natural Alternatives For One Dimensional Median Filtering

Authors: Rohwer, C.H.; Wild, M.

Source: Quaestiones Mathematicae, Volume 25, Number 2, 1 June 2002 , pp. 135-162(28)

Publisher: NISC Pty Ltd

Satisfiability Testing for Boolean Formulas Using -trees

Authors: Gutiérrez G.; de Guzmán I.P.; Martínez J.; Ojeda-Aciego M.; Valverde A.

Source: Studia Logica, Volume 72, Number 1, October 2002 , pp. 85-112(28)

Publisher: Springer

A Complexity Model and a Polynomial Algorithm for Decision-Tree-Based Feature Construction

Author: Major, Raymond L.

Source: Computational Intelligence, Volume 16, Number 1, February 2000 , pp. 53-78(26)

Publisher: Blackwell Publishing

Disjunctive and conjunctive normal forms of pseudo-Boolean functions

Authors: Foldes S.; Hammer P.L.

Source: Discrete Applied Mathematics, Volume 107, Number 1, 21 December 2000 , pp. 1-26(26)

Publisher: Elsevier

Type I and Type II fuzzy system modeling

Author: Turksen I.B.

Source: Fuzzy Sets and Systems, Volume 106, Number 1, 16 August 1999 , pp. 11-34(24)

Publisher: Elsevier

Double Horn Functions

Authors: Eiter T.; Ibaraki T.; Makino K.

Source: Information and Computation, Volume 144, Number 2, 1 August 1998 , pp. 155-190(36)

Publisher: Elsevier

Double Horn Functions

Authors: Eiter T.; Ibaraki T.; Makino K.

Source: Information and Computation, Volume 144, Number 2, August 1998 , pp. 155-190(36)

Publisher: Academic Press

On the frequency of the most frequently occurring variable in dual monotone DNFs

Authors: Gurvich V.; Khachiyan L.

Source: Discrete Mathematics, Volume 169, Number 1, 15 May 1997 , pp. 245-248(4)

Publisher: Elsevier

Normal forms for second-order logic over finite structures, and classification of NP optimization problems

Authors: Eiter T.; Gottlob G.; Gurevich Y.

Source: Annals of Pure and Applied Logic, Volume 78, Number 1, 4 April 1996 , pp. 111-125(15)

Publisher: Elsevier

Knowledge representation by conjunctive normal forms and disjunctive normal forms based on n-variable-m-dimensional fundamental clauses and phrases

Authors: Kandel A.; Yan-Qing Z.; Miller T.

Source: Fuzzy Sets and Systems, Volume 76, Number 1, 24 November 1995 , pp. 73-89(17)

Publisher: Elsevier

VI.1. Calculus of Propositions

Author: Afriat, S. N.

Source: Logic of Choice and Economic Theory, November 1987 , pp. 487-499(13)

Publisher: Oxford Scholarship Online Monographs