Concepedia

J. Łoś

JŁ

19

Publications

937

Citations

13

H-Index

1949

Active since

Affiliations

Polish Academy of Sciences(Current)

Institute of High Pressure Physics

Warsaw University of Technology

Jožef Stefan Institute

Military University of Technology in Warsaw

J. Łoś is an author at Polish Academy of Sciences specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningLanguageChemistrySemanticsLinguisticsFormal MethodsModel BuildingMaterial ScienceCeramics

Publications per year

1949–2023

19

Publications

19

Remarks on sentential logics

J. Łoś, Roman Suszko · Indagationes Mathematicae (Proceedings) · 1958 · 293 citations

Non-classical Logic, Engineering, Automated Reasoning +7

On the categoricity in power of elementary deductive systems and some related problems

J. Łoś · Colloquium Mathematicum · 1954 · 94 citations · Full text

Related Problems, Algebraic Logic, Elementary Deductive Systems +8

On the extending of models (II)

J. Łoś, Roman Suszko · Fundamenta Mathematicae · 1955 · 88 citations · Full text

Model Building, Finite Model Theory, Model Theory

On the extending of models (I)

J. Łoś · Fundamenta Mathematicae · 1955 · 83 citations · Full text

Model Building, Finite Model Theory, Model Theory

Extensions of measure

J. Łoś, Edward Marczewski · Fundamenta Mathematicae · 1949 · 65 citations · Full text

Non-additive Measure, Set-theoretic Topology, Measure Theory

Rows per page

1–5 of 19