Category Archives: Minimal Negation Operators

The informal mechanisms illustrated in the preceding discussion equip us with a description of cactus language adequate to providing conceptual and computational representations for the minimal formal logical system variously known as propositional logic or sentential calculus. The painted cactus … Continue reading →

A few definitions from formal language theory are required at this point. An alphabet is a finite set of signs, typically, A string over an alphabet is a finite sequence of signs from The length of a string is just … Continue reading →

As a temporary notation, let the relationship between a particular sign and a particular object , namely, the fact that denotes or the fact that is denoted by , be symbolized in one of the following two ways. Now consider … Continue reading →

Thus, what looks to us like a sphere of scientific knowledge more accurately should be represented as the inside of a highly irregular and spiky object, like a pincushion or porcupine, with very sharp extensions in certain directions, and virtually … Continue reading →

Depending on whether a formal language is called by the type of sign it enlists or the type of object its signs denote, a cactus language may be called a sentential calculus or a propositional calculus, respectively. When the syntactic … Continue reading →

In the development of Cactus Language to date the following two species of graphs have been instrumental. Painted And Rooted Cacti (PARCAI). Painted And Rooted Conifers (PARCOI). It suffices to begin with the first class of data structures, developing their … Continue reading →

In order to facilitate the use of propositions as indicator functions it helps to acquire a flexible notation for referring to propositions in that light, for interpreting sentences in a corresponding role, and for negotiating the requirements of mutual sense … Continue reading →

Thus, what looks to us like a sphere of scientific knowledge more accurately should be represented as the inside of a highly irregular and spiky object, like a pincushion or porcupine, with very sharp extensions in certain directions, and virtually … Continue reading →