Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics.
Yaroslav I. PetrukhinPublished in: J. Log. Lang. Inf. (2024)
Keyphrases
- classical logic
- expressive power
- business intelligence
- linear logic
- modal logic
- fuzzy set theory
- inference rules
- order sorted
- propositional calculus
- logic programming
- theorem prover
- fuzzy numbers
- interval valued
- data quality
- linear algebra
- propositional dynamic logic
- algebraic expressions
- algebraic geometry
- sequent calculus
- algebraic structure
- fuzzy information
- epistemic logic
- data analysis
- decision support
- data warehouse
- expert systems