scientific article; zbMATH DE number 7166963
From MaRDI portal
Publication:5215771
zbMath1430.03049MaRDI QIDQ5215771
Roberto Ciuni, Massimiliano Carrara
Publication date: 13 February 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Pure Variable Inclusion Logics ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Proof theory of paraconsistent weak Kleene logic ⋮ Book review of: S. Bonzio, F. Paoli and M. P. Baldi, Logics of variable inclusion ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ Natural Deduction Systems for Logics in the FDE Family ⋮ Variations on the Collapsing Lemma ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis ⋮ Semantical analysis of weak Kleene logics ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Containment logics: algebraic completeness and axiomatization ⋮ Logics of variable inclusion and the lattice of consequence relations ⋮ Exactly true and non-falsity logics meeting infectious ones
This page was built for publication:
