The '''Logic File System''' is a research file system which replaces pathnames with expressions in [[propositional logic]]. It allows file metadata to be queried with a superset of the [[Boolean algebra|Boolean]] syntax commonly used in modern [[search engine]]s.
An implementation of the Logic File System is available at the LFS website [http://lfs.irisa.fr].
== References ==
* Ferré, Sébastian and Ridoux, Olivier (2000). "[http://www.irisa.fr/LIS/slides/dood2000.pdf A File System Based on Concept Analysis]."
* Padioleau, Yoann and Ridoux, Olivier (2003). "[http://www.usenix.org/events/usenix03/tech/padioleau.html A Logic File System]."
== External links ==
* The Logical Information Systems [http://lfs.irisa.fr homepage].
