<--- Back to Details
First PageDocument Content
Predicate logic / Philosophical logic / Quantification / Existential graph / Conceptual graph / First-order logic / Charles Sanders Peirce bibliography / Universal quantification / Well-formed formula / Logic / Science / Mathematical logic
Date: 2010-05-15 12:06:34
Predicate logic
Philosophical logic
Quantification
Existential graph
Conceptual graph
First-order logic
Charles Sanders Peirce bibliography
Universal quantification
Well-formed formula
Logic
Science
Mathematical logic

Syntax, Semantics, and Pragmatics of Contexts

Add to Reading List

Source URL: www.jfsowa.com

Download Document from Source Website

File Size: 1,01 MB

Share Document on Facebook

Similar Documents

Graph theory / Mathematics / Discrete mathematics / Diagrams / Charles Sanders Peirce / Philosophical logic / Logic / Existential graph / Graph / Conceptual graph / Ear decomposition / Entitative graph

Query Graphs with Cuts: Mathematical Foundations Frithjof Dau Technische Universit¨ at Darmstadt, Fachbereich Mathematik Schloßgartenstr. 7, DDarmstadt,

DocID: 1rhkc - View Document

Logic / Mathematical logic / Abstraction / Proof theory / Propositional calculus / Predicate logic / Logical truth / First-order logic / Tautology / Existential graph / Cut-elimination theorem / Well-formed formula

Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany

DocID: 1r1sv - View Document

Philosophy / Logic / Abstraction / Charles Sanders Peirce / Graph theory / Philosophical logic / Existential graph / Predicate logic / Charles Sanders Peirce bibliography / Typographic ligature / Graph / First-order logic

Fixing Shin’s Reading Algorithm for Peirce’s Existential Graphs Frithjof Dau Technische Universit¨ at Dresden

DocID: 1qQQb - View Document

Graph theory / Diagrams / Knowledge representation / Logic / Charles Sanders Peirce / Conceptual graph / Existential graph / Graph / First-order logic / Null graph / Propositional calculus / Diagrammatic reasoning

Contents 1 Formal Logic with Conceptual Graphs Frithjof Dau 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . 1.2 Short Introduction to Conceptual Graphs . . . . .

DocID: 1qNy3 - View Document

Mathematics / Charles Sanders Peirce / Existential graph / Logic / Philosophical logic / Discrete mathematics / Restriction / Abstraction / Graph theory

Constants and Functions in Peirce’s Existential Graphs Frithjof Dau University of Wollongong, Australia

DocID: 1qHfo - View Document