Concepedia

Janusz Czelakowski

JC

22

Publications

868

Citations

19

H-Index

1974

Active since

Affiliations

Polish Academy of Sciences(Current)

Institute of Philosophy and Sociology

Institute of Mathematics

University of Opole

Iowa State University

Janusz Czelakowski is an author at Polish Academy of Sciences specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceSemanticsFuzzy LogicLogic ProgrammingRepresentation TheoryLanguageHumanities

Publications per year

1974–2013

22

Publications

22

Equivalential logics (II)

Janusz Czelakowski · Studia Logica · 1981 · 88 citations

Non-classical Logic, Engineering, Automated Reasoning +4

Equivalential logics (I)

Janusz Czelakowski · Studia Logica · 1981 · 77 citations

Non-classical Logic, Engineering, Automated Reasoning +5

Amalgamation and Interpolation in Abstract Algebraic Logic

Janusz Czelakowski, Don Pigozzi · 2003 · 73 citations

Algebraic Logic, Engineering, Algebraic Structure +8

Weakly algebraizable logics

Janusz Czelakowski, Ramón Jansana · Journal of Symbolic Logic · 2000 · 65 citations

Leibniz Operator, Algebraic Logic, Non-classical Logic +8

Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class

Janusz Czelakowski, Wies aw Dziobiak · Algebra Universalis · 1990 · 65 citations

Representation Theory, Ring Theory, Commutative Algebra +4

Rows per page

1–5 of 22