Self-dual binary and ternary connectives for m-valued propositional calculi.
A Lattice-theoretic Characterisation of the Xo-valued Propositional Calculus.
A Formalisation of the 2-Valued Propositional Calculus with Self-dual Primitives.
Some Self-dual Primitive Functions for Propositional Calculi.
Systems of Logic whose truth-values form lattices.
Conditioned Disjunction as a primitive connective for the m-valued Propositional Calculus.
Self-Dual Primitives for Modal Logic.
An alternative Generalisation of the Concept of Duality.
On one-point -compactification and local - compactness
-scattered spaces.
Properties of -expansions of topologies.
Subweakly -continuous functions.
Weak openness and almost openness.
An observation for simple expansions.
Another note on Levine's decomposition of continuity.
Page 1