Bartosz Wieckowski

According to our database, Bartosz Wieckowski authored at least 13 papers between 2007 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

Oiva Ketonen, Investigations into the Predicate Calculus, vol. 3 of Logic PhDs, Sara Negri, and Jan von Plato, (eds.), College Publications, 2022, pp. 130+vii; ISBN 978-1-84890-407-1.

Bartosz Wieckowski

Stud Logica, June, 2025

2024

Incomplete Descriptions and Qualified Definiteness.

Bartosz Wieckowski

Proceedings of the Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications, January, 2024

2023

Negative Predication and Distinctness.

Bartosz Wieckowski

Logica Universalis, March, 2023

2021

Intuitionistic multi-agent subatomic natural deduction for belief and knowledge.

Bartosz Wieckowski

J. Log. Comput., 2021

Subatomic Negation.

Bartosz Wieckowski

J. Log. Lang. Inf., 2021

2017

A Proof Theory for First-order Logic with Definiteness.

Nissim Francez, Bartosz Wieckowski

FLAP, 2017

2016

Refinements of subatomic natural deduction.

Bartosz Wieckowski

J. Log. Comput., 2016

Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity.

Bartosz Wieckowski

J. Log. Lang. Inf., 2016

2015

Constructive belief reports.

Bartosz Wieckowski

Synth., 2015

2012

A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions.

Bartosz Wieckowski

Stud Logica, 2012

2011

Rules for subatomic Derivation.

Bartosz Wieckowski

Rev. Symb. Log., 2011

2010

Associative Substitutional Semantics and Quantified Modal Logic.

Bartosz Wieckowski

Stud Logica, 2010

2007

Book Reviews.

Bartosz Wieckowski

Stud Logica, 2007