Results 11 to 20 of about 5,524 (273)
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics [PDF]
Studia Logica, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Francesca Poggiolesi
openaire +4 more sources
A Survey of Nonstandard Sequent Calculi [PDF]
Studia Logica, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Andrzej Indrzejczak
openaire +4 more sources
Modular Sequent Calculi for Classical Modal Logics
Studia Logica, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gilbert, David, Maffezioli, Paolo
openaire +5 more sources
Sequent Calculi for $${\mathsf {SCI}}$$ SCI [PDF]
Studia Logica, 2017 In this paper we are applying certain strategy described by Negri and Von Plato (Bull Symb Log 4(04):418–435, 1998), allowing construction of sequent calculi for axiomatic theories, to Suszko’s Sentential calculus with identity. We describe two calculi obtained in this way, prove that the cut rule, as well as the other structural rules, are admissible ...
openaire +3 more sources
Relating Sequent Calculi for Bi-intuitionistic Propositional Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Bi-intuitionistic logic is the conservative extension of intuitionistic logic with a connective dual to implication. It is sometimes presented as a symmetric constructive subsystem of classical logic.
Luís Pinto, Tarmo Uustalu
doaj +1 more source
Cut-Free Gentzen Sequent Calculi for Tense Logics
Axioms, 2023 The cut-free single-succedent Gentzen sequent calculus GKt for the minimal tense logic Kt is introduced. This sequent calculus satisfies the displaying property.
Zhe Lin, Minghui Ma
doaj +1 more source
Sequent Calculi for Intuitionistic Gödel–Löb Logic
Notre Dame Journal of Formal Logic, 2021 The paper investigates two sequent calculi for the modal logic iGL, which is the intuitionistic version of the Gödel-Löb logic (the classical provability logic). The first one, GL3i, is a common cut-free one-sided sequent calculus for intuitionistic logic augmented with the GL modal rule \[ \frac{\Box\Gamma,\Gamma,\Box A\Rightarrow A}{\Pi,\Box\Gamma ...
van der Giessen, Iris, Iemhoff, Rosalie
openaire +2 more sources
A derivation-loop method for temporal logic
Lietuvos Matematikos Rinkinys, 2019 Various types of calculi (Hilbert, Gentzen sequent, resolution calculi, tableaux) for propositional linear temporal logic (PLTL) have been considered in the literature.
Romas Alonderis, Haroldas Giedra
doaj +1 more source
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems [PDF]
, 2020 This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined ...
A Ciabattoni +17 more
core +2 more sources
Cut-free Calculi and Relational Semantics for Temporal STIT Logics [PDF]
, 2019 We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as
AN Prior +19 more
core +4 more sources