Login / Signup
Sam Butchart
Publication Activity (10 Years)
Years Active: 2002-2014
Publications (10 Years): 0
Top Topics
Algebraic Properties
Logic Programs
Databases
Temporal Logic
Top Venues
Stud Logica
</>
Publications
</>
Sam Butchart
,
Susan Rogerson
On the Algebraizability of the Implicational Fragment of Abelian Logic.
Stud Logica
102 (5) (2014)
Sam Butchart
,
Tomasz Kowalski
A Note on Monothetic BCI.
Notre Dame J. Formal Log.
47 (4) (2006)
Susan Rogerson
,
Sam Butchart
Naïve Comprehension and Contracting Implications.
Stud Logica
71 (1) (2002)