41,667 followers
@tangled_zans You could say that a relation characterizes a logic iff it's a consequence operation in Wójcicki's sense, although personally I still find that somewhat too restrictive. https://t.co/WhvOYcCLwz
@tangled_zans You could say that a relation characterizes a logic iff it's a consequence operation in Wójcicki's sense, although personally I still find that somewhat too restrictive. https://t.co/WhvOYcCLwz