Algebraic logic perspective on Prucnal's substitution

DOI10.1215/00294527-3659423zbMATH Open1403.03046OpenAlexW2511376583MaRDI QIDQ2374392

Alex Citkin

Publication date: 15 December 2016

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1471109469

zbMATH Keywords

propositional logicunificationadmissible inference rulehereditary structural completenessalgebraic semanticPrucnal's substitutionternary deduction term

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other algebras related to logic (03G25) Intermediate logics (03B55) Abstract algebraic logic (03G27)

Related Items (1)

Capture-avoiding substitution as a nominal algebra

This page was built for publication: Algebraic logic perspective on Prucnal's substitution

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