https://github.com/jessealama/dialogues

Tools for exploring logic through Lorenzen dialogue games.
https://github.com/jessealama/dialogues

Last synced: 4 days ago
JSON representation

Tools for exploring logic through Lorenzen dialogue games.

• Host: GitHub
• URL: https://github.com/jessealama/dialogues
• Owner: jessealama
• Created: 2010-02-06T18:16:12.000Z (almost 15 years ago)
• Default Branch: master
• Last Pushed: 2015-05-11T13:47:05.000Z (over 9 years ago)
• Last Synced: 2024-05-09T07:29:24.820Z (6 months ago)
• Language: Common Lisp
• Homepage: http://www.dialogical-logic.info/
• Size: 1.75 MB
• Stars: 9
• Watchers: 4
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

README

        
This bundle of code is intended as a kind of laboratory for working

with Lorenzen dialogues.

This work is supported primarily by the ESF research project

_Dialogical Foundations of Semantics_ within the ESF Eurocores program

_LogICCC_ (funded by the Portuguese Science Foundation, FCT

LogICCC/0001/2007) and by FWF grant P25417-G15 (*LOGFRADIG*).