brozek/vspursuer
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/matmod.git synced 2025-10-28 02:51:13 +00:00
Code Issues Projects Releases Packages Wiki Activity
vspursuer/examples
History
Exact
Brandon Rozek 8f83cd6abd
Added another example
2024-10-15 10:30:14 -04:00
..
R3-PN Added ability to parse necessitation 2024-10-04 15:51:05 -04:00
R4-MN Added example fragment without negation 2024-10-04 13:22:18 -04:00
R5-S5 Added another example 2024-10-15 10:30:14 -04:00
R6 Example Ugly Data Format with models of R up to size 6 2024-10-03 21:48:25 -04:00
README.md Added another example 2024-10-15 10:30:14 -04:00

README.md

Example Ugly Data Format Files

These are example files that you can use with the parse_magic.py script.

R6

Contains all models of R up to size 6.

R4-MN

Contains all models of a fragment of R without negation up to size 4.

R3-PN

Extends R to have necessitation with the following additional axioms:

  1. p / !p
  2. !(p -> q) -> (!p -> !q)
  3. (!p & !q) -> !(p & q)

Output contains all satisfiable models up to size 3.

R5-S5

Extends R with axioms that classically are adequate for S5 giving rise to an R-ish version of S5 with necessitation.