Results 261 to 270 of about 494,310 (275)

Proof of the law of infinite conjunction using the perfect disjunctive normal form

Journal of Symbolic Logic, 1967
The law of infinite conjunction (Quine's name, see Methods of logic, rev. ed., Holt & Co., New York, p. 254) says that a set of truthfunctional formulas is satisfiable provided every finite subset is. We give a proof of the law which uses some properties of the perfect disjunctive normal form.Any satisfiable formula can be written as a disjunction ...
openaire   +2 more sources

Using Disjunctive Diagrams for Preprocessing of Conjunctive Normal Forms

2022 45th Jubilee International Convention on Information, Communication and Electronic Technology (MIPRO), 2022
openaire   +1 more source

Learning consistent, complete and compact sets of fuzzy rules in conjunctive normal form for regression problems

Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2008
J. Casillas, P. Martínez, Alicia D. Benítez   +2 more
semanticscholar   +1 more source

A Low-Load Distributed Stream Processing System for Continuous Conjunctive Normal Form Queries

IEEE Transactions on Cloud Computing, 2022
Tomoki Yoshihisa, Takahiro Hara
exaly  

/spl alpha/-automated reasoning method based on regular generalized conjunctive normal form of LP(X)

IEEE International Conference on Systems, Man and Cybernetics, 2002
Wang Wei, Jiang Baoqing, Xu Yang
semanticscholar   +1 more source

Improved normal form for grammars with one-sided contexts

Theoretical Computer Science, 2013
A. Okhotin
semanticscholar   +1 more source

A normal form which preserves tautologies and contradictions in a class of fuzzy logics

J. Algorithms, 2007
B. Bedregal
semanticscholar   +1 more source

Conjunctive grammars with restricted disjunction

Theoretical Computer Science, 2010
Alexander Okhotin, Christian Reitwiessner   +1 more
exaly  

Optimizing the clausal normal form transformation

Journal of automated reasoning, 1991
Rolf Socher
semanticscholar   +1 more source

Conjunctive Normal Form

2017
Pfahringer Bernhard
exaly