Pages that link to "Item:Q526733"
From MaRDI portal
The following pages link to On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733):
Displaying 23 items.
- Dualities for Płonka sums (Q1632048) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics (Q1689568) (← links)
- Stone-type representations and dualities for varieties of bisemilattices (Q1744009) (← links)
- Containment logics: algebraic completeness and axiomatization (Q2062211) (← links)
- Meaningless divisions (Q2075270) (← links)
- Proof theory of paraconsistent weak Kleene logic (Q2193974) (← links)
- Logics of left variable inclusion and Płonka sums of matrices (Q2219088) (← links)
- Probability over Płonka sums of Boolean algebras: states, metrics and topology (Q2237506) (← links)
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication (Q2243548) (← links)
- Algebraic analysis of demodalised analytic implication (Q2295595) (← links)
- The Płonka product of topological spaces (Q2311329) (← links)
- A duality for involutive bisemilattices (Q2422316) (← links)
- Natural Deduction Systems for Logics in the FDE Family (Q3305619) (← links)
- Logics of variable inclusion and the lattice of consequence relations (Q4994024) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← links)
- Structural proof theory for first-order weak Kleene logics (Q4995622) (← links)
- (Q4999723) (← links)
- An Epistemic Interpretation of Paraconsistent Weak Kleene Logic (Q5215506) (← links)
- Functional Completeness in CPL via Correspondence Analysis (Q5241402) (← links)
- The Method of Socratic Proofs Meets Correspondence Analysis (Q5241406) (← links)
- Semantical analysis of weak Kleene logics (Q5742697) (← links)
- A logical modeling of severe ignorance (Q6166125) (← links)
