Pages that link to "Item:Q1090674"
From MaRDI portal
The following pages link to Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\) (Q1090674):
Displaying 6 items.
- Limits for paraconsistent calculi (Q701299) (← links)
- (Q4300132) (← links)
- (Q4440563) (← links)
- Game theoretical semantics for some non-classical logics (Q4586163) (← links)
- A family of genuine and non-algebraisable C-systems (Q5000136) (← links)
- Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗ (Q5241535) (← links)