Semantical analysis of weak Kleene logics
From MaRDI portal
Publication:5742697
DOI10.1080/11663081.2018.1547514zbMath1444.03087OpenAlexW2910328065WikidataQ128615863 ScholiaQ128615863MaRDI QIDQ5742697
Massimiliano Carrara, Roberto Ciuni
Publication date: 8 May 2019
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2018.1547514
Related Items (7)
Pure Variable Inclusion Logics ⋮ Proof theory of paraconsistent weak Kleene logic ⋮ Logical multilateralism ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ Meaningless divisions ⋮ Exactly true and non-falsity logics meeting infectious ones ⋮ Structural proof theory for first-order weak Kleene logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Tolerant, classical, strict
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Linear logic
- A story semantics for implication
- Analytic implication
- The true modal logic
- Significance logics
- Conjunction and disjunction in infectious logics
- Handbook of philosophical logic. Vol. 6
- Logics of nonsense and Parry systems
- Towards a logic of significance. I: The sentential basis
- A modification of Parry's analytic implication
- Free of Detachment: Logic, Rationality, and Gluts
- Paraconsistency and analyticity
- Natural Deduction Systems for Logics in the FDE Family
- Analetheism and dialetheism
- Contradiction, Assertion and 'Frege's Point'
- A computational interpretation of conceptivism
- Defining LFIs and LFUs in extensions of infectious logics
- da Costa Meets Belnap and Nelson
- On notation for ordinal numbers
This page was built for publication: Semantical analysis of weak Kleene logics
