Pages that link to "Item:Q1068814"
From MaRDI portal
The following pages link to Paraconsistent logic and model theory (Q1068814):
Displaying 16 items.
- Canonical formulas for a paraconsistent analog of the Scott logic (Q431702) (← links)
- Some topological properties of paraconsistent models (Q484905) (← links)
- A strong model of paraconsistent logic (Q558738) (← links)
- Limits for paraconsistent calculi (Q701299) (← links)
- Modular semantics for theories: an approach to paraconsistent reasoning (Q1633217) (← links)
- Paraconsistent orbits of logics (Q2239383) (← links)
- ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY (Q2940892) (← links)
- A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic (Q3418085) (← links)
- (Q3703880) (← links)
- (Q4300132) (← links)
- (Q4500396) (← links)
- Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics (Q4566146) (← links)
- (Q4856954) (← links)
- (Q5091146) (← links)
- (Q5175691) (← links)
- (Q5380805) (← links)