A cut-free calculus for second-order Gödel logic.
Ori LahavArnon AvronPublished in: Fuzzy Sets Syst. (2015)
Keyphrases
- computer algebra
- cut elimination
- natural deduction
- sequent calculus
- algebraic structure
- higher order
- formal language
- relation algebra
- linear logic
- classical logic
- proof procedure
- automated theorem proving
- transition systems
- modal logic
- computational properties
- proof search
- social bookmarking
- proof theoretic
- logic programming
- high order
- valued logic
- formal semantics
- formal logic
- automated reasoning
- neural network
- formal theory
- pairwise