Ternary Exclusive Or

@article{Pelletier2008TernaryEO,
  title={Ternary Exclusive Or},
  author={Francis Jeffry Pelletier and Andrew Hartline},
  journal={Log. J. IGPL},
  year={2008},
  volume={16},
  pages={75-83}
}
Ternary exclusive or is the (two valued) truth function that is true just in case exactly one of its three arguments is true. This is an interesting truth function, not definable in terms of the binary exclusive or alone, although the binary case is definable in terms of the ternary case. This article investigates the types of truth functions that can be defined by ternary exclusive or, and relates these findings to the seminal work of Emil Post. 

Idempotent Variations on the Theme of Exclusive Disjunction

An exclusive disjunction is true when exactly one of the disjuncts is true. In the case of the familiar binary exclusive disjunction, we have a formula occurring as the first disjunct and a formula

The Goldilocks principle: applying the exclusive disjunction to fuzzy sets

TLDR
The capacity of QCA expressions to mirror natural language closely, formalize conversational implicature, and deal with mutually exclusive clusters of sufficiency conditions is improved and a helpful step-by-step guide for QCA practitioners is included.

Higher‐Order Vagueness and Borderline Nestings: A Persistent Confusion

This paper shows that authors who have recently argued that higher-order vagueness is incoherent, paradoxical, illusory or non-existent 1 invariably confound elements of higher-order vagueness (of

Nicephorus Blemmydes on the Holy Trinity and the Paraconsistent Notion of Numbers: A Logical Analysis of a Byzantine Approach to the Filioque

Abstract The paper deals with the most controversial - in the modern scholarly discussion - episode within the Byzantine polemics on the Filioque, Nicephorus Blemmydes‘ acknowledgement of proceeding

Configurable Fault Trees

TLDR
Fault tree analysis, as many other dependability evaluation techniques, relies on given knowledge about the system architecture and its configuration to evaluate its dependability, but becomes difficult with resilient hardware and software that is supposed to be flexible in its runtime configuration.

Generating verifiable service choreographies from SBVR models

TLDR
A declarative approach was proposed for specifying coordination of distributed applications involving distinct participant services which is being able to verify that it is correct, and the proposed approach could captures and describing the complex interactions that involves the ordering of service interaction based on the given global constraints.

Towards a Framework for Detecting Containment Violations in Service Choreography

TLDR
A containment checking approach that verifies whether the behaviour (or interactions) described by the local choreography models collectively encompasses those specified in the global model.

Software Engineering for Resilient Systems

TLDR
This talk will explain how fault injection can also be applied to detect vulnerabilities of OpenStack cloud platform and how to effectively and efficiently detect the damages caused by the damages.

References

SHOWING 1-10 OF 11 REFERENCES

The two-valued iterative systems of mathematical logic

*Frontmatter, pg. i*CONTENTS, pg. vi*INTRODUCTION, pg. 1*Part I. PRELIMINARIES, pg. 10*PART II. DERIVATION OP CLOSED SYSTEMS, pg. 43*PART III. CO-ORDINATION AND APPLICATION, pg. 96*BIBLIOGRAPHY, pg.

Algebraic logic

TLDR
After reading this book, you will really know how exactly the importance of reading books as common is and what this algebraic logic gives you new lesson.

Emil Post

Computer arithmetic algorithms

TLDR
The principles of the algorithms available for performing arithmetic operations in digital computers, described independently of specific implementation technology and within the same framework, are explained.

Proving Post's functional completeness theorem

  • Notre Dame Journal of Formal Logic
  • 1990

Identities in two-valued calculi

Identities in two-valued calculi', Transactions of the

  • Identities in two-valued calculi', Transactions of the
  • 1951

A translation of Gindikin (1972) Algebra Logiki v Zadachakh Nauka

  • 1985

Identities in two-valued calculi', Transactions of the

  • Identities in two-valued calculi', Transactions of the
  • 1951