Hypersequent and display calculi -- a unified perspective (Q2259013): Difference between revisions

From MaRDI portal
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s11225-014-9566-z / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s11225-014-9566-z / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2027162606 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic Programming with Focusing Proofs in Linear Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A constructive analysis of <b>RM</b> / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hypersequents, logical consequence and intermediate logics for concurrency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3837723 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-deterministic Multiple-valued Structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hypersequent Calculi for Godel Logics -- a Survey / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4825702 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4263005 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Labeled calculi and finite-valued logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4840168 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite-valued semantics for canonical labelled calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2753673 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Standard Completeness for Extensions of MTL: An Automated Approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: Display logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5688806 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2744124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bunched logics displayed / rank
 
Normal rank
Property / cites work
 
Property / cites work: Craig Interpolation in Displayable Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3509048 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Science Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A proof-theoretical investigation of global intuitionistic (fuzzy) logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic for Programming, Artificial Intelligence, and Reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2721194 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Substructural logics on display / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic proof theory: hypersequents and hypercompletions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hypersequent and Labelled Calculi for Intermediate Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated Reasoning with Analytic Tableaux and Related Methods / rank
 
Normal rank
Property / cites work
 
Property / cites work: Density elimination / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof theory for locally finite many-valued logics: semi-projective logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Structural Extensions of Display Calculi: A General Recipe / rank
 
Normal rank
Property / cites work
 
Property / cites work: Expanding the Realm of Systematic Proof Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2958523 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithmic correspondence and canonicity for distributive modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Cut‐Free Calculus For Dummett's LC Quantified / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4484337 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2843910 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Display Calculi for Nominal Tense Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal tableaux based on residuation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4052071 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof methods for modal and intuitionistic logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4894942 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Residuated lattices. An algebraic glimpse at substructural logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Untersuchungen über das logische Schliessen. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Gaggles, Gentzen and Galois: how to display your favourite substructural logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5419884 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A system of interaction and structure / rank
 
Normal rank
Property / cites work
 
Property / cites work: What is Logic? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4289327 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Metamathematics of fuzzy logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5406035 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof theory for admissible rules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5413334 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cut-free sequent calculi for some tense logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rasiowa-Sikorski deduction systems in computer science applications. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5688807 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic Epistemic Logic Displayed / rank
 
Normal rank
Property / cites work
 
Property / cites work: From Frame Properties to Hypersequent Rules in Modal Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantifiers as modal operators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Substructural fuzzy logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Towards a Proof Theory of G\"odel Modal Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Analytic calculi for product logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sequent and hypersequent calculi for abelian and łukasiewicz logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof theory for fuzzy logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cut-elimination theorem for relevant logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof analysis in modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Substructural logics: a primer / rank
 
Normal rank
Property / cites work
 
Property / cites work: A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Gentzen calculi for modal propositional logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5559220 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Embedding the hypersequent calculus in the display calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: A formalization of the propositional calculus of H-B logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5690150 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Displaying and deciding substructural logics. I: Logics with contraposition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4805593 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A cut-free sequent system for two-dimensional modal logic, and why it matters / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sequents in many valued logic I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4903811 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4648960 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof theory. 2nd ed / rank
 
Normal rank
Property / cites work
 
Property / cites work: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: A System of Interaction and Structure II: The Need for Deep Inference / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4499084 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal Foundations for Predicate Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4530621 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sequent Calculi for Normal Modal Propositional Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Displaying modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Translation of hypersequents into display sequents / rank
 
Normal rank
Property / cites work
 
Property / cites work: Predicate logics on display / rank
 
Normal rank
Property / cites work
 
Property / cites work: On logics with coimplication / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructive negation, implication, and co-implication / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dag Prawitz on proofs and meaning / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S11225-014-9566-Z / rank
 
Normal rank

Latest revision as of 17:31, 17 December 2024

scientific article
Language Label Description Also known as
English
Hypersequent and display calculi -- a unified perspective
scientific article

    Statements

    Hypersequent and display calculi -- a unified perspective (English)
    0 references
    0 references
    0 references
    0 references
    27 February 2015
    0 references
    proof theory
    0 references
    hypersequent calculi
    0 references
    display calculi
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references