Studia Logica: An International Journal for Symbolic Logic, Vol. 100, No. 6, Recent Developments related to Residuated Lattices and Substructural Logics (December 2012), pp. 1291-1315 (25 pages) An ...
We explore a relation we call 'anticipation' between formulas, where A anticipates B (according to some logic) just in case B is a consequence (according to that logic, presumed to support some ...
Each item below offers a choice, in a pull-down menu, of four connectives for expressing various logical relationships. For each numbered item, select the connective that best fits in the sentence.