Description: Temporal Rough Logic is a combination of both Normal and Temporal Modal Logics. TRL formulas are interpreted over Dynamic Approximation Spaces. For checking validiy in TRL a Prefixed Tableaux System was proposed by Md.Aquil Khan and Dr.M.Banerjee in
To Search:
File list (Check if you may need any files):
Rough Set
.........\bin
.........\src
.........\.settings
.........\bin\META-INF
.........\...\Screenshots
.........\...\doc
.........\src\Screenshots
.........\...\doc
.........\...\META-INF
.........\bin\doc\resources
.........\src\doc\resources
.........\graphspace.dot
.........\graphspace.dot~
.........\rset.pdf
.........\graphrset.dot
.........\.classpath
.........\.project
.........\graphrset.png
.........\graphspace.png
.........\bin\ApproxSpace.class
.........\...\DisMat.class
.........\...\Formula.class
.........\...\GUI.class
.........\...\InfoSystem.class
.........\...\RTLModel.class
.........\...\RoughSet.class
.........\...\Set.class
.........\...\Table.class
.........\...\Term.class
.........\...\Terminal.class
.........\...\graph_dot.class
.........\...\screen.class
.........\...\test_22_2.class
.........\...\test_all.class
.........\...\test_infs.class
.........\...\test_logic.class
.........\...\test_rough.class
.........\...\ApproxSpace.java~
.........\...\GUI.java~
.........\...\InfoSystem.java~
.........\...\README.TXT
.........\...\RoughSet.java~
.........\...\Set.java~
.........\...\SimpleTableDemo.java~
.........\...\Table.java~
.........\...\Terminal.java#backup
.........\...\Terminal.java~
.........\...\apple.pdf
.........\...\apple2.pdf
.........\...\canvas.java~
.........\...\graph.dot
.........\...\graph.png
.........\...\graph1.pdf
.........\...\graph_dot.java~
.........\...\graphrset.dot
.........\...\graphrset.gif
.........\...\graphrset.png
.........\...\graphrset.svg
.........\...\graphspace.dot
.........\...\graphspace.png
.........\...\model.png
.........\...\package.bluej
.........\...\screen.java~
.........\...\ssdsa.java~
.........\...\terminal.java~
.........\...\test_all.java~
.........\src\test_logic.java
.........\...\Formula.java
.........\...\DisMat.java
.........\...\test_infs.java
.........\...\RTLModel.java
.........\...\model.png
.........\...\Term.java
.........\...\test_all.java~
.........\...\test_all.java
.........\...\test_all.class
.........\...\test_22_2.java
.........\...\test_22_2.class
.........\...\terminal.java~
.........\...\Terminal.java~
.........\...\Terminal.java#backup
.........\...\Terminal.java
.........\...\Terminal.class
.........\...\Table.java~
.........\...\Table.java
.........\...\Table.class
.........\...\ssdsa.java~
.........\...\SimpleTableDemo.java~
.........\...\SimpleTableDemo$2.class
.........\...\SimpleTableDemo$1.class
.........\...\Set.java~
.........\...\Set.class
.........\...\screen.java~
.........\...\screen.java
.........\...\screen.class
.........\...\screen$1.class
.........\...\RoughSet.java~
.........\...\RoughSet.class
.........\...\README.TXT
Download