TPTP problems and TSTP solutions of problems in classical propositional logic.
-
Updated
Oct 16, 2017 - TeX
#
negation
Here are 3 public repositories matching this topic...
Undergraduate Thesis - National and Kapodistrian University of Athens
-
Updated
Apr 16, 2019 - TeX
Selected logical aspects of apophatic theology | The PhD thesis in philosophy written in 2022 (in Polish) under the supervision of Adam Olszewski.
language semantics logic philosophy set-theory paradox negation theology negative liar epistemic-logic intuitionistic-logic order-theory mereology analytic-philosophy
-
Updated
Oct 8, 2023 - TeX
Improve this page
Add a description, image, and links to the negation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the negation topic, visit your repo's landing page and select "manage topics."