Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 5 results:

] Title Type Year

Filters: Author is Pawlowski, Pawel [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

P

Pawlowski, Pawel. Submitted. “Tree-Like Proof Systems For Finitely-Many Valued Deterministic And Indeterministic Consequence Relations”.

Pawlowski, Pawel. Submitted. “Non-Deterministic Logic Of Informal Provability Has No Finite Characterization”.

Pawlowski, Pawel. 2017. “Philosophical Aspects Of An Alleged Connection Between The Axiom Of Choice And Predicting The Future” Rafal Urbaniak and Gillman, Payette. Applications of Formal Philosophy The Road Less Travelled: 213-220.

Pawlowski, Pawel, and Rafal Urbaniak. In Press. “Many-Valued Logic Of Informal Provability: A Non-Deterministic Strategy”. The Review of Symbolic Logic.

Pawlowski, Pawel. In Press. “Proof Systems For Bat Consequence Relations ”. The Logic Journal of IGPL.