On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
From MaRDI portal
(Redirected from Publication:526733)
Recommendations
Cites work
- A computational interpretation of conceptivism
- A representation theorem for distributive quasi-lattices
- A survey of abstract algebraic logic
- A Warning About Translating Axioms
- Abstract algebraic logic. An introductory textbook
- Algebraizable logics
- An infinity of super-Belnap logics
- An introduction to many-valued and fuzzy logic. Semantics, algebras, and derivation systems
- Belnap's Four-Valued Logic and De Morgan Lattices
- Characterizing logical consequence in paraconsistent weak Kleene
- Choice of primitives: A note on axiomatizing intuitionistic logic
- scientific article; zbMATH DE number 5997426 (Why is no real title available?)
- scientific article; zbMATH DE number 3129315 (Why is no real title available?)
- scientific article; zbMATH DE number 4210141 (Why is no real title available?)
- scientific article; zbMATH DE number 32090 (Why is no real title available?)
- scientific article; zbMATH DE number 43479 (Why is no real title available?)
- scientific article; zbMATH DE number 603763 (Why is no real title available?)
- scientific article; zbMATH DE number 945663 (Why is no real title available?)
- scientific article; zbMATH DE number 5235521 (Why is no real title available?)
- scientific article; zbMATH DE number 2213628 (Why is no real title available?)
- scientific article; zbMATH DE number 3032489 (Why is no real title available?)
- scientific article; zbMATH DE number 3061149 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Involutorial Płonka sums
- Nonsense logics and their algebraic properties
- On a method of construction of abstract algebras
- On distributive quad-lattices
- On Priest's logic of paradox
- Regular Identities in Lattices
- Saving truth from paradox
- Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
- Some remarks on sums of direct systems of algebras
- Subdirect decomposition of distributive quasilattices
- The logic of paradox
Cited in
(47)- Counting finite linearly ordered involutive bisemilattices
- Dualities for Płonka sums
- Generalized correspondence analysis for three-valued logics
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- Stone-type representations and dualities for varieties of bisemilattices
- Containment logics: algebraic completeness and axiomatization
- Meaningless divisions
- Proof theory of paraconsistent weak Kleene logic
- Logics of left variable inclusion and Płonka sums of matrices
- Probability over Płonka sums of Boolean algebras: states, metrics and topology
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication
- Algebraic analysis of demodalised analytic implication
- The Płonka product of topological spaces
- A duality for involutive bisemilattices
- Natural deduction systems for logics in the FDE family
- Logical Weak Completions of Paraconsistent Logics
- Logics of variable inclusion and the lattice of consequence relations
- Exactly true and non-falsity logics meeting infectious ones
- Structural proof theory for first-order weak Kleene logics
- Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
- Extensions of paraconsistent weak Kleene logic
- An epistemic interpretation of paraconsistent weak Kleene logic
- Functional Completeness in CPL via Correspondence Analysis
- The method of Socratic proofs meets correspondence analysis
- Semantical analysis of weak Kleene logics
- Abstract algebraic logic. An introductory chapter
- A logical modeling of severe ignorance
- Editorial introduction
- Finite Hilbert systems for weak Kleene logics
- Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic
- De Morgan-Płonka sums
- A new game theoretic semantics (GTS-2) for weak Kleene logics
- Normalisation for some infectious logics and their relatives
- Negation-free definitions of paraconsistency
- Enriched Płonka sums
- Modal weak Kleene logics through variables inclusion
- Relational companions of logics
- Modal weak Kleene logics: axiomatizations and relational semantics
- Classical implication for three-valued logic
- Boolean rigs
- Generalized explosion principles
- On the structure of Bochvar algebras
- On the Weihrauch degree of the additive Ramsey theorem
- Hilbert's tenth problem for term algebras with a substitution operator
- Complemented subsets and Boolean-valued, partial functions
- Left variable inclusion logics associated with classical logic
- On the structure and theory of McCarthy algebras
This page was built for publication: On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q526733)
