The phrase "a logic which" is correct and usable in written English.
It can be used when referring to a specific type of reasoning or system of thought that is being described or defined.
Example: "The theory presents a logic which challenges traditional views on morality."
Alternatives: "a reasoning that" or "a rationale which".
A logic which has turned racialised border control into public policy and successful election campaigns for years.
The challenge is thus to find a logic which validates ¬(A→¬A) and ¬ ¬A→A).
The paper works with a logic which has the expressiveness to quantify over strategies of bounded length.
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories.
Those of us who wish to consider PM as a logic which can be applied, must supplement it with some indication of types.
A decade before Mehlberg (1958) first proposed what was, in effect, a supervaluationist treatment of vagueness, a student of Łukasiewicz, Stanisław Jaśkowski, published an account of a logic which he proposed as a logic of vague concepts.
The architecture of the model is based on a simulation logic, which allows an evaluation of different economic impact scenarios through input changes, allowing the model to be used as a tool to support the decision making process.
In 1812, profoundly dissatisfied with the state of logic, Bolzano conceived the project of a new logic which would lead to a "total transformation of the a priori sciences".
This is achieved by a control logic which is able to reserve a continuous subsequence of the segments necessary to establish a path from the source to the target device.
Indeed, what we are dealing with here is a bimodal logic, which is properly treated only after a deeper understanding of the semantical subtleties of mixing alethic and deontic logics.
In general, every generalized matrix < A, B > can be turned into a closed-set system by adding to B ∪ {A} the intersections of arbitrary nonempty families, and therefore into an abstract logic, which we denote by < A, C(B)>.
