Add to ORKGInternational audienceMost of the logics of grounding that have so far been proposed contain grounding axioms, or grounding rules, for the connectives of conjunction, disjunction and negation, but little attention has been dedicated to the implication connective. The present paper aims at repairing this situation by proposing adequate grounding principles for relevant implication. Because of the interaction between negation and implication, new grounding principles concerning negation will also arise
International audienceBy following a recent result of Wilhelm (2020), it can easily be shown that st...
General discussion of grounding, including its formal features, relations to other notions, and appl...
This paper' discusses different forms of implication as they are used in logic, mathematics. linguis...
International audienceMost of the logics of grounding that have so far been proposed contain groundi...
Most of the logics of grounding that have so far been proposed contain grounding axioms, or groundin...
International audienceIn Poggiolesi (2020a) a definition of the notion of complete and immediate for...
International audienceIn this paper our goal is double. First of all we aim to show that there is a ...
International audienceThe main goal of this paper is to provide a ground-analysis of two classical c...
International audienceIn this paper our aim is twofold: on the one hand, to present in a clear and f...
International audienceBy adopting a proof-theoretic perspective on grounding, we provide a general f...
Recent interest in the nature of grounding is due in part to the idea that purely modal notions are ...
International audienceBy following a recent result of Wilhelm (2020), it can easily be shown that st...
General discussion of grounding, including its formal features, relations to other notions, and appl...
This paper' discusses different forms of implication as they are used in logic, mathematics. linguis...
International audienceMost of the logics of grounding that have so far been proposed contain groundi...
Most of the logics of grounding that have so far been proposed contain grounding axioms, or groundin...
International audienceIn Poggiolesi (2020a) a definition of the notion of complete and immediate for...
International audienceIn this paper our goal is double. First of all we aim to show that there is a ...
International audienceThe main goal of this paper is to provide a ground-analysis of two classical c...
International audienceIn this paper our aim is twofold: on the one hand, to present in a clear and f...
International audienceBy adopting a proof-theoretic perspective on grounding, we provide a general f...
Recent interest in the nature of grounding is due in part to the idea that purely modal notions are ...
International audienceBy following a recent result of Wilhelm (2020), it can easily be shown that st...
General discussion of grounding, including its formal features, relations to other notions, and appl...
This paper' discusses different forms of implication as they are used in logic, mathematics. linguis...