Pure Refined Variable Inclusion Logics

DOI10.26686/AJL.V19I5.7991OpenAlexW4317796312MaRDI QIDQ5059645FDOQ5059645

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

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (1)

• Title not available (Why is that?)

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)