MATH
Login Or Sign up

List Question

15
8.7k
Views

$\overline{A} B C + A B \overline{C} \stackrel{?}{=} \overline{A} B + B \overline{C}$

Published on
#logic #algebraic-logic
143
Views

Boolean algebras as models of (quantifier-free) monadic predicate logic

Published on
#logic #propositional-calculus #predicate-logic #boolean-algebra #algebraic-logic
229
Views

Is there any duality for distributive lattices?

Published on
#logic #reference-request #lattice-orders #duality-theorems #algebraic-logic
708
Views

Link between Boolean algebras and propositional logic

Published on
#abstract-algebra #logic #algebraic-logic
13
Views

A structure with controlled commutativity as a model of logical calculi

Published on
#boolean-algebra #algebraic-logic
35
Views

What flavours of Linear Logic are algebraizable?

Published on
#algebraic-logic #linear-logic
53
Views

A fact about algebraic systems and axiom of choice

Published on
#abstract-algebra #logic #axiom-of-choice #universal-algebra #algebraic-logic
120
Views

Boolean valued models in a general setting

Published on
#set-theory #model-theory #boolean-algebra #algebraic-logic
27
Views

Is there work on constructive interpretations of algebraic logic?

Published on
#algebraic-logic
516
Views

What is connection between Group theory and Logic?

Published on
#abstract-algebra #group-theory #logic #algebraic-logic
176
Views

Formal proof for a syllogism

Published on
#logic #boolean-algebra #algebraic-logic
59
Views

Transfer between different signatures of the same logic

Published on
#logic #universal-algebra #algebraic-logic
84
Views

Equational axioms for quantifiers

Published on
#logic #predicate-logic #quantifiers #axioms #algebraic-logic
96
Views

Weakening of projectivity for Boolean algebras independent from projectivity

Published on
#logic #category-theory #boolean-algebra #universal-algebra #algebraic-logic
107
Views

Relationship between measure theory and quantification

Published on
#probability #abstract-algebra #measure-theory #logic #algebraic-logic

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.