Sublogic: Understanding Subset Logical Systems
A sublogic is a logical system that forms a subset of a…
Consequentia Mirabilis: The Principle of Indirect Proof
Consequentia mirabilis, a classical logic principle, asserts that if the negation of…
Tag: logical principles