Skip to content

mjukiewicz/The-Independence-of-an-Axiomatization-of-Discussive-Logic-D2-with-the-Left-Discussive-Conjunction

Repository files navigation

The attached files should allow for the reproduction of the results obtained by us. As a rule, no additional parameters or settings need to be added when running the files.

For example of use: to reproduce the results obtained in step 4 of chapter 3.1, navigate to the "chapter 3.1" directory, then "sources", and run the "step4.py" file. To ensure that this file runs without errors, the "step1.py" and "step2.py" files must be run beforehand.

Python 3.7 or higher

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages