jimburton's logic [52 articles] Export

Recent papers added to jimburton's library classified by the tag logic. You can also see everyone's logic.

	Total Functional Programming [My Copy] Journal of Universal Computer Science, Vol. 10, No. 7. (2004), pp. 751-768. by D. A. Turner posted to functional-programming logic models-of-computation by jimburton on 2009-06-30 15:08:32 as along with 2 people and 1 group robertjohnsimmons zkincaid ConcertRG
	A Diagrammatic Logic for Object-Oriented Visual Modeling [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 203, No. 6. (21 November 2008), pp. 19-41. by Z. Diskin, U. Wolter posted to category-theory diagrams logic by jimburton on 2008-12-05 11:14:52 as
	Typical Ambiguity: Trying to Have Your Cake and Eat It Too [My Copy] In One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy (2004), pp. 135-152. by Solomon Feferman edited by W. A. Hodges, R. Jensen, S. Lempp, M. Magidor posted to logic maths type-theory by jimburton on 2008-11-25 00:00:13 as
	Ynot: dependent types for imperative programs [My Copy] In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 229-240. by Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal posted to coq dependent-types functional-programming logic type-theory by jimburton on 2008-11-15 15:16:10 as along with 2 people mattmight byorgey
	Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science) [My Copy] (16 January 1980) by M. Gordon, R. Milner, C. P. Wadsworth posted to functional-programming logic type-theory by jimburton on 2008-11-14 15:14:09 as
	The calculus of constructions [My Copy] Information and Computation, Vol. 76, No. 2-3. ( 1988), pp. 95-120. by Thierry Coquand, Gerard Huet posted to logic type-theory by jimburton on 2008-11-12 14:42:27 as along with 2 people msakai darinm
	Combinatory logic [My Copy] Vol. 1 (1958) by H. B. Curry, R. Feys posted to logic type-theory by jimburton on 2008-11-12 14:22:40 as
	Russell, Idealism, and the Emergence of Analytic Philosophy [My Copy] (November 1992) by Peter Hylton posted to logic type-theory by jimburton on 2008-11-12 14:03:40 as
	7. The Logic of Principia Mathematica [My Copy] Russell, Idealism, and the Emergence of Analytic Philosophy, pp. 285-328. by Hylton, Peter posted to logic type-theory by jimburton on 2008-11-12 13:58:14 as
	Martin-Löf's Type Theory [My Copy] Handbook of Logic in Computer Science: Vol 5: Logic and Algebraic Methods In Handbook of Logic in Computer Science: Vol 5: Logic and Algebraic Methods (2000), pp. 1-37. by B. Nordström, K. Petersson, J. M. Smith edited by S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum posted to dependent-types logic type-theory by jimburton on 2008-11-07 12:33:03 as
	Handbook of logic in computer science: Volume 5: Logic and algebraic methods [My Copy] Vol. 5 (2000) edited by S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum posted to logic type-theory by jimburton on 2008-11-07 12:26:28 as
	Editorial: Efficacy of Diagrammatic Reasoning [My Copy] Journal of Logic, Language and Information, Vol. 8, No. 3. (1999), pp. 265-271. by Oliver Lemon, Maarten de Rijke, Atsushi Shimojima posted to diagrams logic by jimburton on 2008-05-13 15:15:59 as
	Implementing Euler/Venn Reasoning Systems [My Copy] In Diagrammatic Representation and Reasoning (2001), pp. 371-386. by N. Swoboda edited by M. Anderson, B. Meyer, P. Olivier posted to diagrams euler-diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:46 as
	Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL [My Copy] In Proceedings of Euler Diagrams 2004, Vol. 134 (2005) by N. Swoboda, G. Allwein posted to diagrams euler-diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:46 as
	A case study of the design and implementation of heterogeneous reasoning systems [My Copy] In Logical and Computational Aspects of Model-Based Reasoning (2002), pp. 1-18. by N. Swoboda, G. Allwein edited by L. Magnani, N. J. Neressian, C. Pizzi posted to logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:46 as
	What Can Spider Diagrams Say? [My Copy] In Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Vol. 2980 (2004), pp. 112-127. by G. Stapleton, J. Howse, J. Taylor, S. Thompson posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:46 as
	The Expressiveness of Spider Diagrams Augmented with Constants [My Copy] In Visual Languages and Human Centric Computing, Rome, Italy (September 2004), pp. 91-98. by G. Stapleton, J. Howse, J. Taylor, S. Thompson posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	The Expressiveness of Spider Diagrams [My Copy] Journal of Logic and Computation, Vol. 14, No. 6. (December 2004), pp. 857-880. by G. Stapleton, S. Thompson, J. Howse, J. Taylor posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	Reasoning with Constraint Diagrams [My Copy] (August 2004) by G. Stapleton posted to constraint-diagrams diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	Generalizing Spiders [My Copy] In 4th International Conference on the Theory and Application of Diagrams (2006), pp. 148-150. by G. Stapleton, J. Howse, K. Toller posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	Enhancing the Expressiveness of Spider Diagram Systems [My Copy] In Proceedings of Distributed Multimedia Systems, International Workshop on Visual Languages and Computings (2006), pp. 129-138. by G. Stapleton, J. Howse posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	A Survey of Reasoning Systems Based on Euler Diagrams [My Copy] In Proceedings of Euler Diagrams 2004, Brighton, UK, Vol. 134 (2005), pp. 127-151. by G. Stapleton posted to diagrams euler-diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	On Spiders' Feet [My Copy] In {E}uler Diagrams 2005 (2005) by G. Stapleton, J. Howse, K. Toller posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	A New Language for the Visualisation of Logic and Reasoning [My Copy] In 11th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing (September 2005) by G. Stapleton, S. Thompson, A. Fish, J. Howse, J. Taylor posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	A Decidable Constraint Diagram Reasoning System [My Copy] Journal of Logic and Computation, Vol. 15, No. 6. (December 2005), pp. 975-1008. by G. Stapleton, J. Howse, J. Taylor posted to constraint-diagrams diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	A Constraint Diagram Reasoning System [My Copy] In Proceedings of International Conference on Visual Languages and Computing (2003), pp. 263-270. by G. Stapleton, J. Howse, J. Taylor posted to constraint-diagrams diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	Appendices for Automated Theorem Proving in Euler Diagram Systems [My Copy] No. Technical Report VMG06.2. (2006) by G. Stapleton, J. Masthoff, J. Flower, A. Fish, J. Southern posted to automated-reasoning diagrams euler-diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	The Iconic Logic of Peirce's Graphs [My Copy] (2002) by S. J. Shin posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	Situation-Theoretic Account of Valid Reasoning with Venn Diagrams [My Copy] In Logical Reasoning with Diagrams (1996), pp. 81-108. by S. J. Shin edited by G. Allwein, J. Barwise posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	Operational constraints in diagrammatic reasoning [My Copy] In Logical Reasoning with Diagrams (1996), pp. 27-48. by A. Shimojima posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	Patching up a logic of Venn diagrams [My Copy] In Proceedings 6th CSLI Workshop on Logic, Language and Computation (2000) by Scotto P. di Luzio posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	JVenn: A Visual Reasoning System with Diagrams and Sentences [My Copy] In Proceedings of 1st International Conference on the Theory and Application of Diagrams, Vol. 1889 (2000), pp. 271-285. by H. Sawamura, K. Kiyozuka posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	A Survey of Venn Diagrams [My Copy] Electronic Journal of Combinatorics (1997) by F. Ruskey posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	Dynamic Euler Diagram Drawing [My Copy] In Visual Languages and Human Centric Computing, Rome, Italy (September 2004), pp. 147-156. by P. Rodgers, P. Mutton, J. Flower posted to automated-reasoning diagrams euler-diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	The Existential Graphs of Charles S. Peirce [My Copy] (1973) by D. D. Roberts posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	Visual Logic Programming by Means of Diagram Transformations [My Copy] In joint Conference on Declarative Programming (1998) by J. Puigsegur, J. Agusti posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	Collected Papers [My Copy] Vol. 4 (1933) by Peirce posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	Tableaux for Diagrammatic Reasoning [My Copy] In Proceedings of the Eleventh International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing (September 2005), pp. 279-286. by O. Patrascoiu, S. Thompson, P. Rodgers posted to automated-reasoning diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	Reasoning with extended Venn-Peirce diagrammatic systems [My Copy] (2001) by F. Molina posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	Spatial Logic and the Complexity of Diagrammatic Reasoning [My Copy] Machine GRAPHICS and VISION, Vol. 6, No. 1. (1997), pp. 89-108. by O. Lemon, I. Pratt posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	Automation of Diagrammatic Reasoning [My Copy] In Proceedings of the 15th International Joint Conference on Artificial Intelligence, Vol. 1 (1997), pp. 528-533. by M. Jamnik, A. Bundy, I. Green posted to automated-reasoning diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	Mathematical Reasoning with Diagrams [My Copy] (2001) by M. Jamnik posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	Type-syntax and Token-syntax in Diagrammatic Systems [My Copy] In Proceedings FOIS-2001: 2nd International Conference on Formal Ontology in Information Systems, Maine, USA (2001), pp. 174-185. by J. Howse, F. Molina, S. J. Shin, J. Taylor posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	A sound and complete diagrammatic reasoning system [My Copy] In Proceedings. ASC 2000: 3rd IASTED International Conference on Artificial Intelligence and Soft Computing (2000), pp. 402-408. by J. Howse, F. Molina, J. Taylor posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	Theories of diagrammatic reasoning: Distinguishing component problems [My Copy] (1998), pp. 533-557. by C. Gurr, J. Lee, K. Stenning posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	Logic for Mathematics and Computer Science [My Copy] (1998) by S. Burris posted to logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:39 as
	Visual Information and Valid Reasoning [My Copy] In Logical Reasoning with Diagrams (1996), pp. 3-25. by J. Barwise, J. Etchemendy edited by G. Allwein, J. Barwise posted to logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:38 as
	Diagrams and the Concept of Logical System [My Copy] In Logical Reasoning with Diagrams (1996) by J. Barwise, E. Hammer edited by G. Allwein, J. Barwise posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:38 as
	Hyperproof: Logical Reasoning with Diagrams [My Copy] In Reasoning with Diagrammatic Representations (1992), pp. 80-84. by J. Barwise, J. Etchemendy edited by B. Chandrasekaran, H. Simon posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:38 as
	The Logical Status of Diagrams [My Copy] (1994) by S. J. Shin posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 13:50:53 as

Note: You may cite this page as: http://www.citeulike.org/user/jimburton/tag/logic

Result page: 1 2 Next

diagrams	212
vmg-bibtex-file	193
file-import-09-01-22	86
functional-programming	70
logic	52
type-theory	48
dependent-types	36
haskell	35
euler-diagrams	34
spider-diagrams	20
constraint-diagrams	18
automated-reasoning	12
dsel	9
ocl	9
theorem-proving	6
agda	5
models-of-computation	5
category-theory	4
coq	4
formal-methods	4
generics	4
ocaml	4
epigram	3
maths	3
uml	3
arrows	2
curry-howard	2
lambda-calculus	2
meta-programming	2
ml	2
monads	2
conceptual-graphs	1
erlang	1
frp	1
z	1

jimburton's logic [52 articles] Export

jimburton's tags