Pages that link to "Item:Q3982863"
From MaRDI portal
The following pages link to The Paraconsistent Logics P<i>J</i> (Q3982863):
Displaying 18 items.
- Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\) (Q1090674) (← links)
- Probabilistic logic programming (Q1207942) (← links)
- Supra-logic: using transfinite type theory with type variables for paraconsistency (Q3647220) (← links)
- (Q4300132) (← links)
- (Q4440570) (← links)
- On Theorem Proving in Annotated Logics (Q4443407) (← links)
- (Q4500396) (← links)
- Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics (Q4566146) (← links)
- (Q5175691) (← links)
- Why Paraconsistent Logics? (Q5213768) (← links)
- A Survey of Annotated Logics (Q5213771) (← links)
- Programming with Annotated Logics (Q5213779) (← links)
- Jair Minoro Abe on Paraconsistent Engineering (Q5213787) (← links)
- On recent applications of paraconsistent logic: an exploratory literature review (Q5243397) (← links)
- (Q5437780) (← links)
- On free annotated algebras (Q5935994) (← links)
- A note on closure spaces determined by intersections (Q6154690) (← links)
- The scientific work of Seiki Akama (Q6623854) (← links)