Skip to content

2157 add more sublogics for propositional #2160

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
JoKurth wants to merge 19 commits into
base: master
Choose a base branch
from
Open

2157 add more sublogics for propositional #2160

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
ba0110d
added some new sublogics for propositional
JoKurth Jun 11, 2024
5667f15
format of propositional formulae is now a set to support multiple res…
JoKurth Jun 16, 2024
4d8a64f
added hets binary to gitignore
JoKurth Jun 16, 2024
4d03d24
added functions to check whether a formula is in NNF, DNF, CNF or Hor…
JoKurth Jun 23, 2024
b41e609
added a function that computes the sublogic of a formula
JoKurth Jun 23, 2024
1f482cb
removed function `jointType` because it is not used anymore
JoKurth Jun 23, 2024
dc53973
fixed `compareLE` and changed delimiter in `sublogics_name`
JoKurth Jun 23, 2024
1b80496
removed PlainFormula from PropFormulae; it is now represented as an e…
JoKurth Jun 23, 2024
632affb
added exports for newly created functions
JoKurth Jun 23, 2024
128a32a
updated sl_form and exports; fixed a bug in checkHorn
JoKurth Jun 29, 2024
d3e2f17
fixed some bugs that occured during testing
JoKurth Jun 30, 2024
7f8f2fa
added test output to gitignore
JoKurth Jul 6, 2024
e18156c
fixed some problems that occured during testing
JoKurth Jul 6, 2024
dd1d3fc
implemented testing for sublogics in propositional
JoKurth Jul 6, 2024
bfc757e
fixed a bug in tests for propositional
JoKurth Jul 10, 2024
932c8fa
added HornFormula as a new type of sublogic
JoKurth Jul 10, 2024
6e7098a
fixed a bug in tests for propositional
JoKurth Jul 10, 2024
602d570
fixed a bug in tests for propositional
JoKurth Jul 16, 2024
cee920a
fixed a bug in tests for propositional
JoKurth Jul 16, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 12 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
.hets*
*.bin
./hets
hets
hets_server
hets.cgi
rev.txt
Expand Down Expand Up @@ -199,3 +200,14 @@ NeSyPatterns/AS.hs
NeSyPatterns/ATC_NeSyPatterns.der.hs
NeSyPatterns/ATC_NeSyPatterns.hs
OWL2/scripts/runTest

*.th
*.pp.dol
capa
annos
testxmldiff
testxpath
testxupdate
showKP
hacapa
TestSublogics
4 changes: 2 additions & 2 deletions Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -130,11 +130,11 @@ TESTTARGETFILES += Scratch.hs CASL/fromKif.hs CASL/capa.hs HasCASL/hacapa.hs \
Comorphisms/test/sublogicGraph.hs PGIP/ParseProofScript.hs \
Common/testxupdate.hs Common/testxpath.hs \
SoftFOL/dfg.hs Adl/adl.hs GUI/displayDependencyGraph.hs \
OWL2/scripts/runTest.hs
OWL2/scripts/runTest.hs Propositional/test/TestSublogics.hs

### list of directories to run checks in
TESTDIRS += Common CASL Fpl/test HasCASL test ExtModal/Tries \
CommonLogic/TestData OWL2/tests
CommonLogic/TestData OWL2/tests Propositional/test

hs_clean_files = Haskell/TiATC.hs Haskell/TiDecorateATC.hs \
Haskell/TiPropATC.hs Haskell/ATC_Haskell.der.hs
Expand Down
4 changes: 4 additions & 0 deletions Propositional/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# $Id$

%:
(cd test; $(MAKE) $@)
Loading