Sequent Systems for Negative Modalities

Logica Universalis- Switzerland

doi 10.1007/s11787-017-0175-2

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Science and Business Media LLC

Related search

Sequent Systems for Modal Logics

2002English

On Displaying Negative Modalities

Logic and Logical Philosophy
Philosophy
2017Indonesian

Sequent Calculi for Beginners and Professionals

Logic and Logical Philosophy
Philosophy
2018English

Contraction-Free Sequent Calculi for Intuitionistic Logic: A Correction

Journal of Symbolic Logic
PhilosophyLogic
2018English

Saturation Up to Redundancy for Tableau and Sequent Calculi

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Towards a Cut-Free Sequent Calculus for Boolean BI

English

Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination

Journal of Functional Programming
Software
2000English

A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Classical Sequent Calculus With Dependent Types

ACM Transactions on Programming Languages and Systems
Software
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy