Results 41 to 48 of about 124 (48)

On propositional logic semirings

Propositional logic serves as a fundamental cornerstone in mathematical logic. This paper delves into a semiring characterization of propositional logic, employing the Gr\"oebner-Shirshov basis theory to furnish an algebraic framework for deduction and ...
Li, Wenxi, Wang, Zhongzhi
core  

From two- to four-valued logic

, 1993
C. Brink
semanticscholar   +1 more source

λρ-calculus II [PDF]

, 2013
Yuichi KOMORI
core   +1 more source

Some of the next articles are maybe not open access.

Related searches:

The Operators of Vector Logic

Mathematical Logic Quarterly, 1996
E. Mizraji
semanticscholar   +1 more source

Suppes-style sequent calculus for probability logic

Journal of Logic and Computation, 2015
M. Boricic
semanticscholar   +1 more source

A branch and cut algorithm for MAX-SAT and weighted MAX-SAT

Satisfiability Problem: Theory and Applications, 1996
S. Joy, J. Mitchell, B. Borchers
semanticscholar   +1 more source

von Neumann Universe: A Perspective

, 2007
Devendra Singh, J. N. Singh
semanticscholar   +1 more source

Monadic 𝐵𝐿-Algebras

, 2006
Revaz Grigolia
semanticscholar   +1 more source