GitHub

Releases: thuanphat611/Propositional-Logic-Resolution_Introduction-to-Artificial-Intelligence-Lab02_HCMUS

You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.
IEEE

Dismath: Discrete Math Gamified Educational Tool in Logic with Minimax Algorithm and Pruning

Abstract: This paper presents the design and development of Dismath, a gamified educational tool for propositional logic introduction to undergraduate computer engineering students. Additionally, an ...
GitHub

Browser-based Sentential Logic Calculator

"What is the case - a fact - is the existence of states of affairs." -- Ludwig Wittgenstein, Tractatus Logico-Philosophicus p.2 Use TruthMachine on-line. TruthMachine is a pure JavaScript browser ...
Scientific Research Publishing

G. J. Wang and H. J. Zhou, “Introduction to Mathematical Logic and Resolution Principle,” 2nd Edition, Science in China Press, Beijing, 2006 (in Chinese).

ABSTRACT: Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the ...
IEEE

First-order hybrid logic: introduction and survey

Abstract: Hybrid logic is an extension of modal logic which allows us to refer explicitly to points of the model in the syntax of formulas. It is easy to justify interest in hybrid logic on applied ...