Concepedia

Andrzej Wroński

AW

7

Publications

247

Citations

7

H-Index

1973

Active since

Affiliations

Jagiellonian University(Current)

Andrzej Wroński is an author at Jagiellonian University specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsFormal VerificationSemanticsComputer ScienceProof ComplexityMathematical Programming

Publications per year

1973–2009

7

Publications

7

BCK-algebras do not form a variety

Andrzej Wroński · Mathematica japonica · 1983 · 90 citations

Abstract Algebra, Universal Algebra, Modern Algebra

An algebraic characterization of the notion of structural completeness

Tadeusz Prucnal, Andrzej Wroński · 1974 · 54 citations

Engineering, Algebraic Structure, Incompleteness +4

Structural completeness of Gödel's and Dummett's propositional calculi

Wojciech Dzik, Andrzej Wroński · Studia Logica · 1973 · 28 citations

Engineering, Automated Reasoning, Propositional Logic +4

FREGEAN VARIETIES

Paweł M. Idziak, Katarzyna Słomczyńska, Andrzej Wroński · International Journal of Algebra and Computation · 2009 · 22 citations · Full text

Algebraic Logic, Abstract Algebra, Constant Term 0 +3

The Degree Of Completeness Of Some Fragments Of The Intuitionistic Propositional Logic

Andrzej Wroński · Bulletin of the Section of Logic · 1973 · 21 citations · Full text

Intuitionistic Logic, Non-classical Logic, Automated Reasoning +5

Rows per page

1–5 of 7