chris martens@julesh for the intuition part, it generally suffices to check the principal cut cases introduced by each new connective. if you’re doing something fishy with structural rules or adding new judgments then often the hard part is just *stating* what the cut principle should be
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.