Académique Documents
Professionnel Documents
Culture Documents
series of ndimensional hyper-owers and hyper-tetraicosahedra (or -structures) and the powerful setting method of modal decoration. In order to be able to formalise geometrically (i.e. n-oppositionally) the existing systems of modal logic (i.e. in order to show and explore the concrete use and utility of abstract nopposition theory as applied to any particular system of modal logic, normal or non-normal) we need to go beyond this commitment to graph linearity (for clarity, if the modal graph of S5 is linear, the one of S4 has two nested forkings). We do it in the present study, where we show how to interpret, inside n-opposition theory, forkings and isolated points (or isolated basic modalities) of classical and non-classical modal graphs by means of the set-theoretic decoration method newly adapted.
A. Costa-Leite (Neuch atel): Paraconsistentization of logics - the general theory of paraconsistent logics
Given a logic, how to obtain its paraconsistent counterpart? Given a paraconsistent logic, how to obtain the non-paraconsistent counterpart of this logic? 5