Page 800 of 800 | Search internet |

K. Grue. Logiweb. In Fairouz Kamareddine, editor, Mathematical Knowledge Management Symposium 2003, volume 93 of Electronic Notes in Theoretical Computer Science, pages 70-101. Elsevier, 2004.

K. Grue. Logiweb - a system for web publication of mathematics. In Mathematical Software - ICMS 2006, volume 4151/2006 of Lecture Notes in Computer Science, pages 343-353. Springer Berlin / Heidelberg, 2006.

K. Grue. Map theory. Theoretical Computer Science, 102(1):1-133, July 1992.

C. Berline and K. Grue. A kappa-denotational semantics for Map Theory in ZFC+SI. Theoretical Computer Science, 179(1-2):137-202, June 1997.

K. Grue. Lambda-calculus as a foundation for mathematics. In C. Anthony Anderson and Michael Zeleny, editors, Logic, Meaning and Computation : Essays in Memory of Alonzo Church, volume 305 of Synthese Library, pages 289-314, Dordrecht, 2002. Kluwer Academic Publishers.

K. Grue. A Gentle Introduction to Map Theory. In Klaus Robering, editor, New Approaches to Classes and Concepts, volume 14 of Studies in Logic, pages 87-110. College Publications, London, November 2008.

A new version by C. Berline and K. Grue of the axioms of map theory together with a consistency proof is expected to be ready early 2010.

K. Grue, Map theory with classical maps presents a non-standard version of map theory together with a large proof (a consistency proof for ZFC) which is written in a style suited for porting to Logiweb. Furthermore, the proof is expected to be portable to the standard version of map theory.

K. Grue, Mathematics and Computation, Volume 1, Volume 2, and Volume 3 presents formal logic to first year computer science students based on Logiweb and map theory. For covers of the three volumes click here.

@Article{Grue92, author = {K. Grue}, title = {Map Theory}, journal = {Theoretical Computer Science}, year = {1992}, volume = {102}, number = {1}, pages = {1--133}, month = jul } @Article{BerlineAndGrue97, author = {C. Berline and K. Grue}, title = {A $\kappa$-denotational semantics for {M}ap {T}heory in {ZFC+SI}}, journal = {Theoretical Computer Science}, year = {1997}, volume = {179}, number = {1--2}, pages = {137--202}, month = jun } @Book{Grue01, AUTHOR = {Klaus Grue}, YEAR = {2001}, TITLE = {Mathematics and Computation}, PUBLISHER = {DIKU}, address = {Universitetsparken 1, DK-2100 Copenhagen}, volume = {1--3}, edition = {7}, keywords = {Logic}} @InProceedings{Grue02, AUTHOR = {K. Grue}, YEAR = {2002}, TITLE = {Lambda-calculus as a foundation for mathematics}, BOOKTITLE = {Logic, Meaning and Computation : Essays in Memory of Alonzo Church}, editor = {C. Anthony Anderson and Michael Zeleny}, publisher = {Kluwer Academic Publishers}, address = {Dordrecht}, series = {Synthese Library}, volume = {305}, pages = {289-314}} @inproceedings{Grue04, author = {K. Grue}, title = {Logiweb}, editor = {Fairouz Kamareddine}, booktitle = {Mathematical Knowledge Management Symposium 2003}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, volume = {93}, year = {2004}, pages = {70--101}} @inproceedings{Grue06, author = {K. Grue}, title = {Logiweb - A System for Web Publication of Mathematics}, editor = {}, booktitle = {Mathematical Software - ICMS 2006}, publisher = {Springer Berlin / Heidelberg}, series = {Lecture Notes in Computer Science}, volume = {4151/2006}, year = {2006}, pages = {343--353}} @InCollection{Grue08, author = {Grue, Klaus}, title = {A {G}entle {I}ntroduction to {M}ap {T}heory}, booktitle = {New Approaches to Classes and Concepts}, pages = {87--110}, publisher = {College Publications}, year = {2008}, editor = {Robering, Klaus}, volume = {14}, series = {Studies in Logic}, address = {London}, month = {November}}

Page 800 of 800 | Search logiweb.eu |