Thomas Piecha

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Karl Popper on deduction	2025-11-17	Paper
Administrative normal form and focusing for lambda calculi	2024-09-06	Paper
Advances in Proof-Theoretic Semantics: Introduction Advances in Proof-Theoretic Semantics	2022-06-03	Paper
Completeness in Proof-Theoretic Semantics Advances in Proof-Theoretic Semantics	2022-06-03	Paper
The definitional view of atomic systems in proof-theoretic semantics	2019-07-24	Paper
Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics Studia Logica	2019-05-15	Paper
Popper's Notion of Duality and His Theory of Negations History and Philosophy of Logic	2018-03-16	Paper
Failure of completeness in proof-theoretic semantics Journal of Philosophical Logic	2015-08-03	Paper
A critical remark on the BHK interpretation of implication Philosophia Scientae	2015-07-30	Paper
Constructive semantics, admissibility of rules and the validity of Peirce's law Logic Journal of the IGPL	2015-02-27	Paper
Implications as rules in dialogical semantics	2013-05-15	Paper
INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES The Review of Symbolic Logic	2009-11-12	Paper

Research outcomes over time

This page was built for person: Thomas Piecha