The most widely prevailing view on how best to account for logical consequence is to appeal to formality. This is to say that whether statements follow … 展开

The two prevailing techniques for providing accounts of logical consequence involve expressing the concept in terms of proofs and via models. The study of the syntactic consequence (of a logic) is called (its) proof theory whereas the study of (its) semantic consequence … 展开

• Abstract algebraic logic
• Ampheck
• Boolean algebra (logic)
• Boolean domain
• Boolean function 展开

• Beall, Jc; Restall, Greg (2013-11-19). "Logical Consequence". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy (Winter 2016 ed.).
• "Logical consequence". Internet Encyclopedia of Philosophy. 展开

If it is known that $${\displaystyle Q}$$ follows logically from $${\displaystyle P}$$, then no information about the possible interpretations of $${\displaystyle P}$$ or $${\displaystyle Q}$$ will … 展开

Modal accounts of logical consequence are variations on the following basic idea:
$${\displaystyle \Gamma }$$ $${\displaystyle \vdash }$$ $${\displaystyle A}$$ is true if and only if it is necessary that if all of the elements of $${\displaystyle \Gamma }$$ 展开

• Anderson, A.R.; Belnap, N.D. Jr. (1975), Entailment, vol. 1, Princeton, NJ: Princeton.
• Augusto, … 展开