Thomas Piecha

From MaRDI portal
Person:2516583

Available identifiers

zbMath Open piecha.thomasMaRDI QIDQ2516583

List of research outcomes





PublicationDate of PublicationType
Administrative normal form and focusing for lambda calculi2024-09-06Paper
Completeness in Proof-Theoretic Semantics2022-06-03Paper
Advances in Proof-Theoretic Semantics: Introduction2022-06-03Paper
https://portal.mardi4nfdi.de/entity/Q52248912019-07-24Paper
Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics2019-05-15Paper
Popper's Notion of Duality and His Theory of Negations2018-03-16Paper
Failure of completeness in proof-theoretic semantics2015-08-03Paper
A Critical Remark on the BHK Interpretation of Implication2015-07-30Paper
Constructive semantics, admissibility of rules and the validity of Peirce's law2015-02-27Paper
Implications as rules in dialogical semantics2013-05-15Paper
INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES2009-11-12Paper

Research outcomes over time

This page was built for person: Thomas Piecha

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2516583&oldid=7222245"
Powered by MediaWiki