
Purpose:
This collection of files is intended to allow anyone 
to view logiclanguages.csx, 
a formal concept analysis of logic languages.
It constitutes an easily-apprenended
collection of assertions and comparisons
of logic languages.



Prerequisites:
-- You must have a Java virtual machine.
-- Testing has been done only in a Windows XP environment,
   but Unix, OS X, and Linux should work.
   
Validity:
Many of the distinctions are highly technical and the
validity of the analysis has not been thoroughly vetted.
It's expected and desired that revisions be made to
improve the analysis.

Copies:
This material may be copied at will.

Revisions:
Please suggest 
corrections, additions, and emendations to
  Frederick N. Chase
  fchase@gmail.com
  f-chase@chasegalleryconnect.org
  617-388-5865





Siena creates and edits a concept lattice.
  http://toscanaj.sourceforge.net/siena/
  In 2005, siena was described as a 'work in progress'.
  Although a draft user manual exists for Elba,
  a different concept lattice editor,
  there does not appear to be a user manual for Siena.
     
ToscanaJ displays a concept lattice and allows you to 
  interact a little with it.
  http://toscanaj.sourceforge.net/index.html
  http://www.kvocentral.org/kvopapers/ToscanaJ_User_Manual.pdf
  
The instance of Siena/ToscanaJ here is not complete:
  the intent is to have only enough to edit and view the
  formal concept analysis of logic languages.
  
  
Usage:

Click run-siena.bat.
Do File | Open | examples\nodb\logiclanguages.csx  | Open.
Select the Diagrams tab.
Click/select logiclanguages.
To see the context defining the diagram, do Edit | Context... .

At the same time, if you have enough screen real estate,
Click run-toscana.bat.
Do File | Open | examples\nodb\logiclanguages.csx  | Open.
Use the left or right pointer to move the divider to
 a central position as needed.
Click/select logiclanguages.
Click 'Add Selected'.
Do View | list.
Try View | 'show all matches'.
Try View | 'show only exact matches'.

Meaning of Attributes:
See the document 'logiclanguages.Definitions for a
characterization of each attribute.
  
  
  
  