Search results

Jump to: navigation, search
  • Showing below 23 results starting with #1.
Advanced search

Search in namespaces:

  
  
  
  
  
  
  
  
  
  
  
  
  
  • ''Formalisms'' are formal expression systems, usually involving symbols, that may be used to define a ...the same time cannot be used to express ''everything''. For instance, the languages of model theory, category theory, and universal algebra provide some genera
    5 KB (678 words) - 20:41, 17 January 2009
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    5 KB (658 words) - 02:02, 31 October 2015
  • ...developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be interpreted for logic. ...ects of form that are shared by the entire family of algebras, calculi, or languages, however they happen to be viewed in a given application.
    41 KB (5,845 words) - 14:38, 6 November 2015
  • ...[[logical graphs]], Peirce's law is represented by means of the following formal equivalence or logical equation. [[Category:Formal Languages]]
    11 KB (1,526 words) - 16:14, 18 November 2015
  • ...o, its study from the perspectives of abstract algebra on the one hand and formal logic on the other. ...ociated with philosophical differences over the status in reality accorded formal objects. Among those who speak of numbers, functions, properties, relation
    25 KB (3,665 words) - 21:05, 16 November 2015
  • ==Formal definition== ...A few bits of terminology are useful in describing the pictures, but the formal details are tedious reading, and may be familiar to many readers, so the fu
    22 KB (3,319 words) - 19:22, 6 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    5 KB (572 words) - 04:18, 7 November 2015
  • ...nal logic'' (or ''sentential logic''). Propositional logic is a domain of formal subject matter that is, up to somorphism, constituted by the structural rel In general terms, a calculus is a formal system that consists of a set of syntactic expressions (''well-formed formu
    17 KB (2,301 words) - 16:02, 7 November 2015
  • ...les that govern the use of a ''differential logical calculus'', that is, a formal system with the expressive capacity to describe change and diversity in log [[Category:Formal Languages]]
    6 KB (662 words) - 22:34, 5 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    5 KB (599 words) - 20:22, 16 November 2015
  • ...t, even though all angles of approach must ultimately converge on the same formal subject matter. [[Category:Formal Languages]]
    7 KB (919 words) - 22:54, 10 November 2015
  • ...ations that have any fixed arity, in effect, to the general case of formal languages as generalized relations. [[Category:Formal Sciences]]
    65 KB (6,802 words) - 18:18, 14 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    16 KB (2,190 words) - 18:31, 7 November 2015
  • [[Category:Formal Grammars]] [[Category:Formal Languages]]
    6 KB (702 words) - 19:14, 7 November 2015
  • ...thbb{B} \times \mathbb{B} \to \mathbb{B}\!</math> in a number of different languages for zeroth order logic. These six languages for the sixteen boolean functions are conveniently described in the followi
    12 KB (1,631 words) - 03:08, 9 November 2015
  • ...e the potential confusion is to begin with a focus on the various types of formal objects that are being discussed, of which there are only a few, taking up The main formal object under discussion is a logical operation on two logical values, typic
    16 KB (2,147 words) - 20:20, 4 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    6 KB (728 words) - 01:46, 31 October 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    5 KB (618 words) - 04:12, 7 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    5 KB (664 words) - 04:24, 4 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    5 KB (656 words) - 00:56, 2 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    5 KB (684 words) - 23:00, 4 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    5 KB (678 words) - 03:54, 5 November 2015
  • [[Category:Formal Languages]] [[Category:Formal Sciences]]
    6 KB (729 words) - 14:18, 5 November 2015