Rudiments of [mu]-calculus von Arnold, A., (André)

Volltext

A general algebraic semantics for sentential logics von Font, Josep Maria, Jansana, Ramon

Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory von Hailperin, Theodore

Volltext

Algebraic logic von Gindikin, Semen G. 1937-

Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kl...

Mathematical logic and algebra collected papers ; dedicated to the 100th birthday of academicianPetr Sergeevich Novikov

Algebraic methods in philosophical logic von Dunn, J. Michael 1941-2021, Hardegree, Gary M.

Inhaltsverzeichnis

Network algebra von Ştefănescu, Gheorghe 1955-

Inhaltsverzeichnis

Logic in algebraic form Three languages and theories von Craig, William

Volltext

Studies in algebraic logic

Antimorphic action categories of algebraic structures with involutions or anti-endomorphisms von Cornish, William H.

Inhaltsverzeichnis

Ordinal algebras von Tarski, Alfred

Volltext

Algèbres de Heyting monadiques von Monteiro, António, Varsavsky, Oscar, Monteiro, António

Inhaltsverzeichnis

Algèbres de Heyting trivalentes involutives von Iturrioz, Luisa

A general algebraic semantics for sentenial logics von Font, Josep Maria, Jansana, Ramon

Inhaltsverzeichnis

Algebraic methodology and software technology 4th international conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings

Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic and probability theory von Hailperin, Theodore

The logical systems of Lesniewski von Luschei, Eugene C.

Volltext

Studies in algebraic logic

Logic in algebraic form three languages and theories von Craig, William