Pure Refined Variable Inclusion Logics

DOI10.26686/AJL.V19I5.7991MaRDI QIDQ5059645zbMATH OpenOpenAlexFDO

Authors Damian Szmuc, Mariela Rubin

Publication date 13 January 2023

Published in The Australasian Journal of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.26686/ajl.v19i5.7991

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Pure variable inclusion logics
• Logics of left variable inclusion and Płonka sums of matrices
• Logics of variable inclusion and the lattice of consequence relations
• Containment logics: algebraic completeness and axiomatization

Cited in

(1)

• scientific article; zbMATH DE number 6680142 (Why is no real title available?)

This page was built for publication: Pure Refined Variable Inclusion Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5059645)