Browsing Bulletin of the Section of Logic by Subject
Now showing items 1-20 of 48
Subject |
---|
p-entailment [1] |
p-matrix [1] |
p-semisimple BCI-algebra [1] |
paracomplete logics [1] |
paraconsistent logic [2] |
paraconsistent logics [1] |
paradoxes [1] |
paradoxes of implication [1] |
Parikh [1] |
partition [1] |
passive rules [1] |
PC-lattice [1] |
phase unwinding [1] |
point-free topology [1] |
Pollack’s theory of Basic Modal Logic [2] |
polyadic algebras [1] |
positional logic [2] |
positive implicative soju ideal [1] |
possible worlds semantics [1] |
Post-style proof of completeness [1] |