A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication
نویسندگان
چکیده
We provide a logical matrix semantics and Gentzen-style sequent calculus for the first-degree entailments valid in W. T. Parry’s logic of Analytic Implication. achieve former by introducing closely related to that inducing paracomplete weak Kleene logic, latter presenting where initial sequents left right rules negation are subject linguistic constraints.
منابع مشابه
A simple sequent calculus for nominal logic
Nominal logic is a variant of first-order logic that provides support for reasoning about bound names in abstract syntax. A key feature of nominal logic is the new-quantifier, which quantifies over fresh names (names not appearing in any values considered so far). Previous attempts have been made to develop convenient rules for reasoning with the new-quantifier, but we argue that none of these ...
متن کاملSequent Calculus for Intuitionistic Logic
We present a system of sequent calculus for intuitionistic propositional logic. In later chapters we obtain stronger systems by adding rules to this basic system, and we therefore go through its proof-theoretical properties in detail, in particular the admissibility of structural rules and the basic consequences of cut elimination. Many of these properties can then be verified in a routine fash...
متن کاملA Sequent Calculus for Intuitionistic Default Logic
Current research on non-monotonic reasoning shows growing interest on implementation details, so the need for concrete calculi formalizing non-monotonic logics is clearly recognized. On the other hand, there is also an increased number of works combining intuitionistic logic with various kinds of non-monotonic formalisms. As a case in point, intuitionistic versions of both default and autoepist...
متن کاملA Sequent Calculus for Dynamic Topological Logic
We introduce a sequent calculus for the temporal-over-topological fragment DTL ◦∗/2 0 of dynamic topological logic DTL, prove soundness semantically, and prove completeness syntactically using the axiomatization of DTL ◦∗/2 0 given in [3]. A cut-free sequent calculus for DTL ◦∗/2 0 is obtained as the union of the propositional fragment of Gentzen’s classical sequent calculus, two 2 structural r...
متن کاملA Labelled Sequent-Calculus for Observation Logic
We investigate observation logic, an intuitionnistic modal logic designed for reasoning about approximation and multiple contexts, and propose a sequent-calculus formulation of this logic. Due to the validy of an axiom (called T2) which is a weakening of T, one needs an adaptation of the usual sequent-calculus formalism in order to have some classical properties of sequent calculus, such as cut...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2021
ISSN: ['0039-3215', '1572-8730']
DOI: https://doi.org/10.1007/s11225-020-09926-x