Pages that link to "Item:Q526733"

The following pages link to On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733):

Displaying 32 items.

• Counting finite linearly ordered involutive bisemilattices (Q1617819) (← links)
• 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)
• Logical Weak Completions of Paraconsistent Logics (Q3549315) (← 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)
• Editorial introduction (Q6642818) (← links)
• Finite Hilbert systems for weak Kleene logics (Q6642819) (← links)
• Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic (Q6642820) (← links)
• De Morgan-Płonka sums (Q6642824) (← links)
• A new game theoretic semantics (GTS-2) for weak Kleene logics (Q6642828) (← links)
• Normalisation for some infectious logics and their relatives (Q6659895) (← links)
• Negation-free definitions of paraconsistency (Q6659905) (← links)