Bartosz Wieckowski

According to our database, Bartosz Wieckowski authored at least 11 papers between 2007 and 2023.

Collaborative distances:

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

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