In this errata, we reconsider and modify two propositions and their corollaries which were written on epi-retractable and co-epi-retractable modules.

This article presents a theory of how individuals detect whether descriptions of an entity are consistent or inconsistent. The theory postulates that individuals try to construct a mental model of the entity in which all the propositions are true. If they succeed, they infer that the description is consistent; otherwise, they infer that it is inconsistent. We report three experiments that corro...

The Computerized Propositional Idea Density Rater (CPIDR, pronounced "spider") is a computer program that determines the propositional idea density (P-density) of an English text automatically on the basis of part-of-speech tags. The key idea is that propositions correspond roughly to verbs, adjectives, adverbs, prepositions, and conjunctions. After tagging the parts of speech using MontyLingua...

Propositions form the basis for scientific research. The validity of a research study is, to a large extent, evaluated on the criteria of its propositions. For internal validity, study propositions provide information regarding precision of definitions, measurements, associations, confounding factors etc. that are considered in research. While for external validity, propositions form the premis...

A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT ∗ 0, which we claim correspond closely to the classical predicative systems of second order arithmetic ACA0 and ACA. We justify this claim by translating each second-order system into the corresponding LTT, and proving that these...

Conventional wisdom holds that the von Neumann entropy corresponds to thermodynamic entropy, but Meir Hemmo and Orly Shenker have recently argued against this view by attacking Neumann’s argument. I argue Shenker’s arguments fail because of several misunderstandings about statistical-mechanical domains applicability, nature mixed states, role approximations in physics. As a result, their all ca...

A computational model of inference during story comprehension is presented, in which story situations are represented distributively as points in a high-dimensional “situation-state space.” This state space organizes itself on the basis of a constructed microworld description. From the same description, causal/temporal world knowledge is extracted. The distributed representation of story situat...

• Four forms of breach were identified. Breach can take diverse forms, entailing varying levels dark side intensity. Clear and open communication between the consulting client teams is crucial. While there an increasing awareness importance developing successful business-to-business relationships, little research has explored these relationships. We drew upon concept psychological contract, und...