degli Studi di Torino, Italy) are classical logics
extended by a conditional operator usually denoted an arrow .
On the density of implicational parts of intuitionistic and classical logics, Journal of Applied Non-Classical Logics, Vol.
Statistics of intuitionistic versus classical logics, Studia Logica, Vol.
It turns out that this proportion is different from the analog one in the classical logic case.
The implicational-negational fragment of classical logic is functionally complete which means that any formula can be translated into an implicational-negational one.
It begins from an inferentialist, and particularly bilateralist, theory of meaning--one which takes meaning to be constituted by assertibility and deniability conditions--and shows how the usual multiple-conclusion sequent calculus for classical logic
can be given an inferentialist motivation, leaving classical model theory as of only derivative importance.
It presupposes a good knowledge of classical logic and its model-theory, and also familiarity with the preferential semantics for systems of uncertain (aka nonmonotonic) consequence.
Imagine, for example, that we simply translated the recursive definition of theoremhood for some axiom system for classical logic into a correspondingly recursive definition on the model-theoretic level, and then restate and prove the completeness theorem for classical logic in terms of that translation.
The first concerns many-valued deductive logics that have monotony or antitony properties including, as a limiting case, classical logic.
Each chapter, including the opening one on classical logic
, has essentially the same pattern, with only minor variations here and there.