Logical matrices and non-structural consequence operators

DOI10.1007/BF01418757zbMath0537.03048OpenAlexW2035510616MaRDI QIDQ792325

Brunetto Piochi

Publication date: 1983

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01418757

zbMATH Keywords

logical matricessentential calculigeneralized matrixlattice of non- structural consequence operators

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25)

Related Items (4)

Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics ⋮ Nonmonotonic theories and their axiomatic varieties ⋮ From Inconsistency to Incompatibility ⋮ Many-valued computational logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Matrix approach in methodology of sentential calculi
• Note on deducibility and many-valuedness
• Some remarks on the consequence operation in sentential logics
• Deducibility and many-valuedness

This page was built for publication: Logical matrices and non-structural consequence operators