Normalisation for some infectious logics and their relatives
From MaRDI portal
Publication:6659895
Cites work
- scientific article; zbMATH DE number 3659568 (Why is no real title available?)
- scientific article; zbMATH DE number 3564931 (Why is no real title available?)
- scientific article; zbMATH DE number 590999 (Why is no real title available?)
- scientific article; zbMATH DE number 3322506 (Why is no real title available?)
- scientific article; zbMATH DE number 3061149 (Why is no real title available?)
- A note on matrices for systems of nonsense-logics
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication
- An epistemic interpretation of paraconsistent weak Kleene logic
- Completeness via correspondence for extensions of the logic of paradox
- Defining LFIs and LFUs in extensions of infectious logics
- Exactly true and non-falsity logics meeting infectious ones
- Handbook of philosophical logic. Vol. 8
- Intuitive semantics for first-degree entailments and `coupled trees'
- Logics based on linear orders of contaminating values
- Logics of nonsense and Parry systems
- Logics of variable inclusion and the lattice of consequence relations
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- Natural deduction for three-valued regular logics
- Nonsense logics and their algebraic properties
- Normalisation for some quite interesting many-valued 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
- On notation for ordinal numbers
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Paraconsistency and analyticity
- Relevant logics obeying component homogeneity
- Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
- Structural proof theory for first-order weak Kleene logics
- Structural proof theory. With an appendix by Aarne Ranta
- Theories of truth based on four-valued infectious logics
- Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
This page was built for publication: Normalisation for some infectious logics and their relatives
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6659895)
