Adam Trybus

According to our database, Adam Trybus authored at least 6 papers between 2010 and 2026.

Collaborative distances:

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

2026

A Non-Binary Method for Finding Interpolants: Theory and Practice.

Adam Trybus, Karolina Rozko, Tomasz Skura

CoRR, March, 2026

Making Bielik LLM Reason (Better): A Field Report.

Adam Trybus, Bartosz Bartnicki, Remigiusz Kinas

CoRR, March, 2026

2022

Three-Dimensional Affine Spatial Logics.

Adam Trybus

Logica Universalis, December, 2022

2019

n-valued maximal paraconsistent matrices.

Adam Trybus

J. Appl. Non Class. Logics, 2019

2016

Rational Region-Based Affine Logic of the Real Plane.

Adam Trybus

ACM Trans. Comput. Log., 2016

2010

An Axiom System for a Spatial Logic with Convexity.

Adam Trybus

Proceedings of the ECAI 2010, 2010