IEEE

Technical Foundations of a DPLL-Based SAT Solver for Propositional Gödel Logic

Abstract: We provide the foundations of automated deduction in the propositional Gδdel logic. The propositional Gδdel logic is one of the simplest infinitely valued fuzzy logics, which generalizes ...
IEEE

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation

Abstract: We introduce a novel event-trigger threshold (ETT) regulation mechanism based on the quantitative semantics of propositional logic (PL). We exploit the expressiveness of the PL vocabulary to ...
GitHub

Logic Learner is an online learning tool that helps computer science, engineering, and mathematics students improve their fluency and problem solving process in writing proofs ...

Logic Learner makes use of Logic Learner Tools for the feedback portion of the application. Logic Learner Tools provides detection of syntax errors, propositional laws errors, and statement errors.
GitHub

Hardware and tutorials for the Hackaday / Logic Noise Klangorium demo board

Over on Hackaday, I've been writing a series of articles on building up synthesizers out of 4000-series CMOS logic chips. It's been great fun building them up on an breadboard and then tearing them ...
Floor

Interior Logic Group Acquired by Blackstone Group

New York, NY, February 2, 2021--Blackstone Group has reached a definitive agreement to acquire Interior Logic Group (ILG) Holdings from Littlejohn & Co., Platinum Equity and other equity holders, for ...