Pages that link to "Item:Q4583342"
From MaRDI portal
The following pages link to Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics (Q4583342):
Displaying 7 items.
- Efficient reasoning with inconsistent information using C-systems (Q527198) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Self-extensional three-valued paraconsistent logics (Q1682293) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Paraconsistent fuzzy logic preserving non-falsity (Q1697334) (← links)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics (Q2813672) (← links)
- Quasi-canonical systems and their semantics (Q6088602) (← links)