It seems that this exists: more logical, very logical, too logical, less logical, not very logical, really logical, fairly logical.

This is intuitive logic, the logic of ecstasy, the logic of the infinite.

This is intuitive logic, the logic of ecstasy, the logic of the infinite.

Modal logic: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multi-valued logic, logic of belief revision.

Modal logics for games and protocols: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multivalued logic, logic of belief revision.

On logics intermediate between intuitionistic and classical predicate logic.

Paraconsistent logic – a family of logics used to address contradictions

It is traversed by tensions between professional logics, and logics of regulation.

I think the same is true of classical logics and intuitionistic logics.

Some formulae that are valid in classical logic are not provable in intuitionistic logics.

These operators include logical AND (&&), logical OR (||) and logical NOT (!).

It’s logical... but belonging to a superior logic.

You can only judge logic by what logic you have seen to be logical.

Last usual logical operator, the logical NOT, the negation,

This logical triangle announces the logical hexagon of Blanché.

Nothing could be more inconsistent than consistent logic.

However, intuitionistic logic is a specific logical system whereas paraconsistent logic encompasses a large class of systems.

One of the founders of relevance logic, a kind of paraconsistent logic.

One of the founders of relevance logic, a kind of paraconsistent logic.