Axiomatisations of the Genuine Three-Valued Paraconsistent Logics $\mathbf {L3A_G}$ and $\mathbf {L3B_G}$.
Alejandro Hernández-TelloMiguel Pérez-GasparVerónica Borja MacíasPublished in: Logica Universalis (2021)
Keyphrases
- inference rules
- valued semantics
- modal logic
- nonmonotonic logics
- truth values
- expressive power
- default logic
- databases
- first order logic
- case study
- multi agent
- data model
- logic programming
- database
- temporal information
- database systems
- information systems
- logical framework
- decision procedures
- genetic algorithm
- neural network
- consistent query answering