Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: propsitional calcus

Sortuj według:

Ogranicz wyniki do:

Algebraic Approach to Algorithmic Logic

100%

Bancerek G.

Formalized Mathematics

2014

tom 22

nr 3

225-255

We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages: propositional calculus, quantifier calculus with equality, and finally proper algorithmic logic. For each stage appropriate signature and theory are defined. Propositional calculus and quantifier calculus with equality are explored according to [24]. A language is introduced with language signature including free variables, substitution, and equality. Algorithmic logic requires a bialgebra structure which is an extension of language signature and program algebra. While-if algebra of generator set and algebraic signature is bialgebra with appropriate properties and is used as basic type of algebraic logic.

Ograniczanie wyników

1 Formalized Mathematics

1 Bancerek G.

1 2014

Wyniki wyszukiwania

Algebraic Approach to Algorithmic Logic