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.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results