Results 1 to 10 of about 1,740 (284)
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 +1 more
exaly +5 more sources
Sequent Calculi for Orthologic with Strict Implication [PDF]
Bulletin of the Section of Logic, 2022 In this study, new sequent calculi for a minimal quantum logic (\(\bf MQL\)) are discussed that involve an implication. The sequent calculus \(\bf GO\) for \(\bf MQL\) was established by Nishimura, and it is complete with respect to ortho-models (O ...
Tomoaki Kawano
doaj +5 more sources
Sequent Calculi for Intuitionistic Gödel–Löb Logic [PDF]
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 ...
Iris van der Giessen, Rosalie Iemhoff
exaly +7 more sources
Sequent Calculi for the Normal Terms of the λΠ- and λΠ∑-Calculi [PDF]
Electronic Notes in Theoretical Computer Science, 1998 AbstractThis paper presents two sequent calculi, requiring no clausal form for types, whose typable terms are in 1–1 correspondence with the normal terms of the λ∏- and λΠΣ-calculi. Such sequent calculi allow no permutations in the order in which inference rules occur on derivations of typable terms and are thus appropriate for proof search.
Luís Pinto 0001, Roy Dyckhoff
exaly +3 more sources
Sequent Calculi for Choice Logics [PDF]
Journal of Automated Reasoning, 2022 AbstractChoice logics constitute a family of propositional logics and are used for the representation of preferences, with especiallyqualitative choice logic(QCL) being an established formalism with numerous applications in artificial intelligence. While computational properties and applications of choice logics have been studied in the literature ...
Michael Bernreiter +3 more
core +6 more sources
A Survey of Nonstandard Sequent Calculi [PDF]
Studia Logica, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Andrzej Indrzejczak +1 more
exaly +3 more sources
Cut-Free Gentzen Sequent Calculi for Tense Logics [PDF]
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 +2 more sources
Cut Elimination for Extended Sequent Calculi
Bulletin of the Section of Logic, 2023 We present a syntactical cut-elimination proof for an extended sequent calculus covering the classical modal logics in the \(\mathsf{K}\), \(\mathsf{D}\), \(\mathsf{T}\), \(\mathsf{K4}\), \(\mathsf{D4}\) and \(\mathsf{S4}\) spectrum.
Simone Martini +2 more
doaj +4 more sources
Graphical Sequent Calculi for Modal Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 The syntax of modal graphs is defined in terms of the continuous cut and broken cut following Charles Peirce's notation in the gamma part of his graphical logic of existential graphs.
Minghui Ma, Ahti-Veikko Pietarinen
doaj +4 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 +3 more sources