Pages that link to "Item:Q5425994"
From MaRDI portal
The following pages link to Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency (Q5425994):
Displaying 11 items.
- Paraconsistency properties in degree-preserving fuzzy logics (Q344078) (← links)
- Proof theory and mathematical meaning of paraconsistent C-systems (Q420832) (← links)
- Efficient reasoning with inconsistent information using C-systems (Q527198) (← links)
- Maximal and premaximal paraconsistency in the framework of three-valued semantics (Q631512) (← links)
- Non-deterministic semantics for logics with a consistency operator (Q997049) (← links)
- ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY (Q2940892) (← links)
- On the Propagation of Consistency in Some Systems of Paraconsistent Logic (Q3295789) (← links)
- ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L<sub>vft</sub> (Q4950599) (← links)
- A family of genuine and non-algebraisable C-systems (Q5000136) (← links)
- (Q5446288) (← links)
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics (Q6079419) (← links)