New Minimal Linear Inferences in Boolean Logic Independent of Switch and Medial

DOI10.4230/LIPICS.FSCD.2021.14MaRDI QIDQ6159929OpenAlexFDO

Authors Anupam Das

Publication date 23 June 2023

Full work available at URL https://doi.org/10.4230/LIPIcs.FSCD.2021.14

zbMATH Keywords

proof theoryimplementationlinear logicrewritinglinear inference

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

Recommendations

• Linear modalities in mininal logic
• A new foundation of a complete Boolean equational logic
• The minimality of certain decidability conditions for Boolean algebras
• On minimal realizations of linear Boolean functions
• New approaches to Boolean quantifier elimination
• The minimal circuits for linear Boolean functions
• scientific article; zbMATH DE number 2044514
• scientific article; zbMATH DE number 4154445
• On linear rewriting systems for Boolean logic and some applications to proof theory
• scientific article; zbMATH DE number 6460060

Cited in

(2)

• An Analytic Propositional Proof System on Graphs
• Enumerating Independent Linear Inferences

This page was built for publication: New Minimal Linear Inferences in Boolean Logic Independent of Switch and Medial

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