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

DOI10.4230/LIPICS.FSCD.2021.14OpenAlexW3183446349MaRDI QIDQ6159929FDOQ6159929

Authors: Anupam Das 

Publication date: 23 June 2023

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

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

zbMATH Keywords

proof theoryimplementationlinear logicrewritinglinear inference

Mathematics Subject Classification ID

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

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)