Hypergraphs and the Intuitionistic Propositional\break Calculus.
Adam KolanyPublished in: Reports Math. Log. (1993)
Keyphrases
- interval valued
- proof procedure
- natural deduction
- linear logic
- theorem prover
- cut elimination
- first order logic
- sequent calculus
- propositional logic
- theorem proving
- real valued
- proof search
- fuzzy sets
- inference rules
- partially ordered
- fuzzy set theory
- group decision making
- computer algebra
- representation scheme
- horn clauses
- multi valued
- default logic
- graph theory
- neural network
- classical logic
- fuzzy information
- fuzzy numbers
- fuzzy logic
- expert systems
- aggregation operators
- autoepistemic logic
- predicate calculus
- higher order
- knowledge representation
- relational databases