Login / Signup
Adam Trybus
ORCID
Publication Activity (10 Years)
Years Active: 2010-2022
Publications (10 Years): 3
Top Topics
Valued Semantics
Piecewise Affine
Kronecker Product
Data Matrix
Top Venues
ACM Trans. Comput. Log.
Logica Universalis
J. Appl. Non Class. Logics
</>
Publications
</>
Adam Trybus
Three-Dimensional Affine Spatial Logics.
Logica Universalis
16 (4) (2022)
Adam Trybus
n-valued maximal paraconsistent matrices.
J. Appl. Non Class. Logics
29 (2) (2019)
Adam Trybus
Rational Region-Based Affine Logic of the Real Plane.
ACM Trans. Comput. Log.
17 (3) (2016)
Adam Trybus
An Axiom System for a Spatial Logic with Convexity.
ECAI
(2010)