A note on the signed occurrences of propositional variables

DOI10.26686/AJL.V19I1.7432MaRDI QIDQ5084576zbMATH OpenOpenAlexFDO

Authors Thomas Randriamahazaka

Publication date 27 June 2022

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

Full work available at URL https://doi.org/10.26686/ajl.v19i1.7432

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• scientific article; zbMATH DE number 695097
• The SAT problem of signed CNF formulas
• Variable sharing in substructural logics: an algebraic characterization
• A Note on the Relevance of Semilattice Relevance Logic
• On strong comparative logic

Cited in

(1)

• De Morgan-Płonka sums

This page was built for publication: A note on the signed occurrences of propositional variables

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