Related:
Free Game
- Free Transformers Game
- Free Online Game
- Free Computer Game
- Free Game To Play
Sponsored Links:
Game Semantics or Linear Logic? (Popularity:  )
(Score: 18.42)
http://www.csc.villanova.edu/~japaridz/CL/gsoll.html
A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
Category:
Main\Science\Math\Logic and Foundations\Game Semantics
|
Game Semantics or Linear Logic? (Popularity: )
(Score: 18.42)
http://www.csc.villanova.edu/~japaridz/CL/gsoll.html
A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
Category:
Main\Science\Math\Logic and Foundations\Nonstandard Logics and Extensions
|
Game Semantics or Linear Logic? (Popularity: )
(Score: 18.42)
http://www.csc.villanova.edu/~japaridz/CL/gsoll.html
A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
Category:
Main\Computers\Artificial Intelligence\Games
|
Old Directions in Free Logic (Popularity: )
(Score: 14.73)
http://www.fordham.edu/gsas/phil/klima/freelog.htm
Article by Gyula Klima. An analysis of the controversy over existential import in syllogistic theory, relating it to modern work in Free Logic.
Category:
Main\Science\Math\Logic and Foundations\History
|
Logic and Games (Popularity: )
(Score: 14.49)
http://plato.stanford.edu/entries/logic-games/
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
Category:
Main\Science\Math\Logic and Foundations\Game Semantics
|
Logic and games (Popularity: )
(Score: 14.49)
http://plato.stanford.edu/entries/logic-games/
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
Category:
Main\Society\Philosophy\Reference\Stanford Encyclopedia of Philosophy
|
Japaridze, Giorgi (Popularity: )
(Score: 14.47)
http://www.csc.villanova.edu/~japaridz/
Villanova University - computability logic, game semantics, provability logic.
Category:
Main\Science\Math\Logic and Foundations\People
|
Hyland, J. Martin E. (Popularity: )
(Score: 14.42)
http://www.dpmms.cam.ac.uk/~martin/index.html
University of Cambridge - Categorical logic, game semantics and logic in computer science.
Category:
Main\Science\Math\Logic and Foundations\People
|
Ong, C.-H. Luke (Popularity: )
(Score: 13.42)
http://web.comlab.ox.ac.uk/oucl/work/luke.ong/
Merton College, Oxford - Semantics of programming languages, lambda calculus, categorical logic and type theory, game semantics, linear logic.
Category:
Main\Computers\Computer Science\People\O
|
gHorse PDA (Popularity: )
(Score: 13.22)
http://www.geocities.com/ghorsepda/
Developers of a logic game called Rainbow. Site contains game instructions, screenshots, and ordering details.
Category:
Main\Computers\Systems\Handhelds\Palm OS
|
Hintikka, Jaakko (Popularity: )
(Score: 13.07)
http://www.bu.edu/philo/faculty/hintikka.html
Professor of Philosophy, Boston University. Pioneer of game-theoretical semantics in logic, branching quantifiers, and a prominent critic of the thesis that formalisation means formalisation in (Fregean) first-order logic.
Category:
Main\Society\Philosophy\Philosophy of Language\Philosophers
|
Logic of programming (Popularity: )
(Score: 13.01)
http://iml.univ-mrs.fr/ldp/welcome.html
The "Logic of Programming" research team is interested in proof theory and its relations with theoretical computer science. The main topic is mathematical interpretation of proofs : nets (proof = graph), denotational semantics (proof = function ...
Category:
Main\Science\Math\Logic and Foundations\Proof Theory
|
Intuitionistic logic (Popularity: )
(Score: 12.99)
http://encyclopedia.thefreedictionary.com/Intuitionistic%20logic
Free Online Encyclopedia article. What does Intuitionistic logic mean? What is Intuitionistic logic?
Category:
Main\Science\Math\Logic and Foundations\Nonstandard Logics and Extensions
|
llprover (Popularity: )
(Score: 12.66)
http://bach.scitec.kobe-u.ac.jp/llprover/
A linear logic prover that searches a cut-free proof for the given two-sided sequent of first-order linear logic.
Category:
Main\Science\Math\Logic and Foundations\Software
|
Logic programming in C (Popularity: )
(Score: 12.37)
http://www.stenmorten.com/English/llc/llc.htm
Logic programming, parsing and compiling with free online books and tools. Full C code given for prefix-to-infix translator, regular expression expander, EBNF parser.
Category:
Main\Computers\Programming\Languages\C
|
Aristotelian and Modern Logic (Popularity: )
(Score: 12.03)
http://www.ifs.csic.es/sorites/Issue_04/item5.htm
Article by Katalin Havas, discussing the nature of progress in logic, and the idea of logic as a perfected discipline.
Category:
Main\Science\Math\Logic and Foundations\History
|
The Logic Classroom (Popularity: )
(Score: 11.98)
http://www.sjsu.edu/faculty/carranza
A course in basic logic consisting of 5 studies with exercises and answers to promote the learning of logic. Homeschool, college, and seminary students.
Category:
Main\Science\Math\Logic and Foundations\Education
|
ASL Typesetting Office (Popularity: )
(Score: 11.97)
http://www.math.ucla.edu/~asl/
TeX files in the style used by the publications of the Association for Symbolic Logic, including The Journal of Symbolic Logic, The Bulletin of Symbolic Logic and the Lecture Notes in Logic. Document class, bibtex style and documentation (PS).
Category:
Main\Science\Math\Publications\Style Files
|
Linear Logic Papers by Andreas Blass (Popularity: )
(Score: 11.91)
http://www.math.lsa.umich.edu/~ablass/ll.html
Collection of downloadable papers on linear logic and game semantics by A. Blass.
Category:
Main\Science\Math\Logic and Foundations\Nonstandard Logics and Extensions
|
Nicky USA Wild Game (Popularity: )
(Score: 11.88)
http://www.nickyusawildgame.com/
Game bird and game meats including Kobe beef and free-range poultry. Also offering recipes.
Category:
Main\Shopping\Food\Meat\Exotic
|
Nicky USA Wild Game (Popularity: )
(Score: 11.88)
http://www.nickyusawildgame.com./
Game bird and game meats including Kobe beef and free-range poultry. Also offering recipes.
Category:
Main\Business\Food and Related Products\Meat and Seafood\Exotic
|
Gateway to Logic (Popularity: )
(Score: 11.67)
http://logik.phl.univie.ac.at/~chris/formular-uk.html
A collection of web-based logic programs offering a number of logical functions: interactively or automatically build proofs, check theorems, and operate on propositional logic formulae.
Category:
Main\Science\Math\Logic and Foundations\Software
|
Logic Tutorial (Popularity: )
(Score: 11.67)
http://logictutorial.com/
An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic logic.
Category:
Main\Science\Math\Logic and Foundations\Education
|
Mercury Project (Popularity: )
(Score: 11.60)
http://www.cs.mu.oz.au/research/mercury/
New logic/functional programming language. Combines clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Optimized execution is far faster than extant logic languages, and near that of procedural ...
Category:
Main\Computers\Programming\Languages\Mercury
|
OBBLOG (Popularity: )
(Score: 11.36)
http://www.geocities.com/nummolt/obblog/
Logic construction toybox. Binary logic simulator to explain binary logic and truth tables. Javascript.
Category:
Main\Science\Math\Logic and Foundations\Education
|
The Game of Logic (Popularity: )
(Score: 11.35)
http://www.gutenberg.net/etext/4763
In plain text and as a zip file. At Project Gutenberg.
Category:
Main\Arts\Literature\Authors\C
|
Rocky Mountain Game Meats Ltd. (Popularity: )
(Score: 11.29)
http://www.game-meats.com/
Canadian supplier of naturally-raised wild game, game birds, exotic meats and specialty free-range poultry.
Category:
Main\Shopping\Food\Meat\Exotic
|
Wansing, Heinrich (Popularity: )
(Score: 11.11)
http://www.uni-leipzig.de/~logik/wansing/wansing.html
Institute of Logic and the Philosophy of Science, Leipzig - Substructural and non-classical logics, modal logic, proof-theoretic semantics, philosophy of logic, philosophy of language.
Category:
Main\Science\Math\Logic and Foundations\People
|
Infinitary Logic (Popularity: )
(Score: 11.10)
http://plato.stanford.edu/entries/logic-infinitary/
Infinitary Logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities. By John L. Bell.
Category:
Main\Society\Philosophy\Reference\Stanford Encyclopedia of Philosophy
|
Infinitary Logic (Popularity: )
(Score: 11.09)
http://plato.stanford.edu/entries/logic-infinitary/
Article in the Stanford Encyclopaedia of Philosophy by John L. Bell. Infinitary Logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities.
Category:
Main\Science\Math\Logic and Foundations\Nonstandard Logics and Extensions
|
Stellar Crisis Room (Popularity: )
(Score: 11.00)
http://sc-room.stellar-crisis.net/
All about the free, interactive web war/strategy game. Includes FAQ, beginner's tutorial, links to active servers, archive of past game maps, build calculators, history of the game, and news about players and servers.
Category:
Main\Kids and Teens\Games\Online
|
Free thought (personal discussion) (Popularity: )
(Score: 10.98)
http://freethought.homestead.com/index.html
One person's introduction to Critical Thinking, Logic, Belief, and Free Thought.
Category:
Main\Science\Science in Society\Skeptical Inquiry\Critical Thinking
|
Game Theory of Human History (Popularity: )
(Score: 10.93)
http://www.nonzero.org/intro.htm
Robert Wright summarizes his book "Nonzero: The Logic Of Human Destiny", which uses game theory to develop a philosophy of history.
Category:
Main\Society\Philosophy\Philosophy of History
|
Game Theory of Human History (Popularity: )
(Score: 10.93)
http://www.nonzero.org/intro.htm
Robert Wright summarizes his book "Nonzero: The Logic Of Human Destiny", which uses game theory to develop a philosophy of history.
Category:
Main\Society\Philosophy\Philosophy of Science\Physics
|
Logic Software from CSLI (Popularity: )
(Score: 10.91)
http://www-csli.stanford.edu/hp/
Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic, educational logic software by Jon Barwise and John Etchemendy
Category:
Main\Science\Math\Logic and Foundations\Education
|
Research groups in Logic and Theoretical Computer Science (Popularity: )
(Score: 10.86)
http://www.cs.swan.ac.uk/~csetzer/logic-server/index.html
Covered areas of this list are Theoretical Computer Science, Logic in Computer Science, Mathematical Logic, Philosophical Logic.
Category:
Main\Computers\Computer Science\Theoretical\Research Groups
|
LOFT4 (Popularity: )
(Score: 10.77)
http://www.econ.ucdavis.edu/faculty/bonanno/loft4.html
Logic and the Foundations of Game and Decision Theory. ICER, Torino, Italy; 30 June -- 2 July 2000.
Category:
Main\Science\Math\Logic and Foundations\Meetings
|
Ground Temporal Logic: A Logic for Hardware Verification (Popularity: )
(Score: 10.73)
http://www.csl.sri.com/reports/html/cav94.html
A temporal logic designed to specify properties of hardware at the register transfer level.
Category:
Main\Science\Math\Logic and Foundations\Nonstandard Logics and Extensions
|
Celebrity The Game (Popularity: )
(Score: 10.73)
http://www.celebritythegame.com/
Trivia game. Illinois, USA. [on-line, toll-free ordering]
Category:
Main\Shopping\Toys and Games\Games\Party Games
|
BattleDuel (Popularity: )
(Score: 10.68)
http://battleduel.terstiege.de/
Multiplayer game inspired by the Commodore 64 title, ArtilleryDuel. Information and free download of the game available.
Category:
Main\Computers\Systems\Amiga\Software
|
