Adam Trybus

Available identifiers

zbMath Open trybus.adamMaRDI QIDQ2688869

List of research outcomes

Publication	Date of Publication	Type
On Jan Łukasiewicz's ‘The Principle of Contradiction and Symbolic Logic’	2023-05-04	Paper
The Principle of Contradiction and Symbolic Logic	2023-05-04	Paper
Three-dimensional affine spatial logics	2023-03-06	Paper
\(n\)-valued maximal paraconsistent matrices	2019-05-28	Paper
A generalisation of a refutation-related method in paraconsistent logics	2018-09-20	Paper
Rational region-based affine logic of the real plane	2017-07-12	Paper
Leon Chwistek, The principles of the pure type theory (1922), translated by Adam Trybus with an introductory note by Bernard Linsky	2015-03-25	Paper
An axiom system for a spatial logic with convexity	2011-05-11	Paper

Research outcomes over time

This page was built for person: Adam Trybus