Sentence examples for an alternative logic of from inspiring English sources

An alternative approach is to work only with strict (weak) equality but use an alternative Logic of Partial Functions (LPF a logic in which the "Law of the Excluded Middle" does not hold.

He identifies an alternative logic, the "model of appropriateness".

This paper explains the differences in the two risk management mixes pointing towards alternative logics of calculation [Power, M.K., 2007. Organized Uncertainty Designing a World of Risk Management.

His logic of place offered an alternative to the logic of substances presupposed in much traditional metaphysics.

In logic, Lewis criticized contemporary formal systems using material implication and proposed an alternative system of logic based upon strict implication.

The Sense Amplifier-based Pass Transistor Logic (SAPTL) is a low energy alternative logic topology to fully complementary static CMOS logic.

Nevertheless, the idea is sheer Proustian in its alternative logic and shares the main features of Harai's description "humans are different because they inhabit an imagined world".

This debate can only be understood if one can contrast the characteristics of these proposed alternative logics with the characteristics of the simplest modal logic.

Unlike classical logic which requires a deep understanding of a system, exact equations, and precise numeric values, fuzzy logic incorporates an alternative way of thinking, which allows modeling complex systems using a higher level of abstraction originating from our knowledge and experience.

From the foregoing disussion, it should be obvious that category theory and categorical logic ought to have an impact on almost all issues arising in philosophy of logic: from the nature of identity criteria to the question of alternative logics, category theory always sheds a new light on these topics.

Artemov's justification logic is an alternative interpretation of the B-H-K explanation of the intuitionistic connectives and quantifiers, with (idealized) proofs playing the part of realizing objects.