Results 101 to 110 of about 180 (115)

Proof theory of many-valued logic--linear optimization--logic design: connections and interactions

Soft Computing, 1997
exaly  

The Many-Valued Logics

The Philosophical Review, 1936
openaire   +1 more source

ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft

International Journal of General Systems, 2000
exaly  

Many-Valued Logic

1968
openaire   +1 more source

Multiple-Valued Logic—its Status and its Future

IEEE Transactions on Computers, 1984
exaly  

Many-Valued Logics

2015
openaire   +1 more source

Many-Valued Logics

2019
openaire   +1 more source

Many-Valued Logics

2007
openaire   +1 more source

Many-Valued Logics

1952
openaire   +1 more source

Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic

exaly