Four weak positional calculi are constructed and examined. They refer to the use of the connective of negation within the scope of the positional connective “R” of realization. The connective of negation may be fully classical, partially analogical or independent from the classical, truth- functional negation. It has been also proved that the strongest system, containing fully classical connective of negation, is deductively equivalent to the system MR from Jarmużek and Pietruszczak.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.