Finite Hilbert systems for weak Kleene logics
From MaRDI portal
Publication:6642819
DOI10.1007/s11225-023-10079-wMaRDI QIDQ6642819
Sérgio Marcelino, Vitor Greati, Umberto Rivieccio
Publication date: 25 November 2024
Published in: Studia Logica (Search for Journal in Brave)
Hilbert-style systemscontainment logicsmultiple-conclusion logicsparaconsistent weak KleeneBochvar-Kleene
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Theory of logical calculi. Basic theory of consequence operations
- Disjoint fibring of non-deterministic matrices
- Containment logics: algebraic completeness and axiomatization
- Finite two-dimensional proof systems for non-finitely axiomatizable logics
- Proof search on bilateralist judgments over non-deterministic semantics
- Proof theory of paraconsistent weak Kleene logic
- Logics of left variable inclusion and Płonka sums of matrices
- Analytic calculi for monadic PNmatrices
- Finite-valued semantics for canonical labelled calculi
- On a three-valued logical calculus and its application to the analysis of contradictions.
- Logics of variable inclusion
- Theories of truth based on four-valued infectious logics
- An Inferentially Many-Valued Two-Dimensional Notion of Entailment
- A computational interpretation of conceptivism
- MUltlog 1.0: Towards an expert system for many-valued logics
- Natural deduction for three-valued regular logics
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- On bivalent semantics and natural deduction for some infectious logics
- OUP accepted manuscript
- Axiomatizing non-deterministic many-valued generalized consequence relations
This page was built for publication: Finite Hilbert systems for weak Kleene logics
