Search results
From MaRDI portal
- SEMANTICS TO SEQUENT CALCULUS 2018-11-29 Paper https://portal.mardi4nfdi.de/entity/Q4636042 2018-04-23 Paper Countermodels from Sequent Calculi in Multi-Modal...10 bytes (14 words) - 01:15, 25 September 2023
- conditional logics 2017-07-12 Paper Sequent calculi for propositional nonmonotonic logics 2017-06-13 Paper Standard Sequent Calculi for Lewis’ Logics of Counterfactuals...10 bytes (13 words) - 16:38, 9 December 2023
- profitability 2019-10-17 Paper Sequent calculi for global modal consequence relations 2019-09-03 Paper Peirce’s Sequent Proofs of Distributivity 2019-07-24...10 bytes (13 words) - 16:34, 6 October 2023
- Distributive-lattice semantics of sequent calculi with structural rules 2013-01-25 Paper Many-place sequent calculi for finitely-valued logics 2013-01-25...10 bytes (15 words) - 20:16, 24 September 2023
- Construction of Analytic Sequent Calculi for Sub-classical Logics 2015-01-13 Paper SAT-Based Decision Procedure for Analytic Pure Sequent Calculi 2014-09-26 Paper...10 bytes (13 words) - 13:11, 24 September 2023
- non-admissibility of \textit{Cut} in stoic logic 2019-06-19 Paper CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION 2019-01-04 Paper POSIX Lexing...10 bytes (13 words) - 09:04, 7 October 2023
- Finite-valued semantics for canonical labelled calculi 2015-06-23 Paper On the Construction of Analytic Sequent Calculi for Sub-classical Logics 2015-01-13 Paper...10 bytes (13 words) - 17:54, 24 September 2023
- 2019-05-02 Paper Terminating sequent calculi for two intuitionistic modal logics 2019-01-31 Paper Uniform interpolation and sequent calculi in modal logic 2019-01-24...10 bytes (13 words) - 15:43, 24 September 2023
- 2017-09-05 Paper A sequent calculus and a theorem prover for standard conditional logics 2017-07-12 Paper Standard Sequent Calculi for Lewis’ Logics of...10 bytes (15 words) - 13:35, 11 December 2023
- Publication Date of Publication Type Cut-free sequent calculi for the provability logic D 2023-10-25 Paper On the completeness and...10 bytes (13 words) - 02:04, 7 October 2023
- Theory – Sequent Calculi and Cut Elimination 2021-08-17 Paper Sequents and trees. An introduction to the theory and applications of propositional sequent calculi...10 bytes (13 words) - 10:13, 6 October 2023
- Implementing Tableau Calculi Using BDDs: BDDTab System Description 2014-09-26 Paper From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full...10 bytes (14 words) - 08:58, 25 September 2023
- Nested Sequent Calculi 2016-01-12 Paper Mīmāṃsā Deontic Logic: Proof Theory and Applications 2015-12-11 Paper Linear Nested Sequents, 2-Sequents and Hypersequents...10 bytes (15 words) - 11:37, 28 January 2024
- labelled calculi 2015-06-23 Paper A dissimilarity-based framework for generating inconsistency-tolerant logics 2015-02-05 Paper Cut-free sequent calculi for...10 bytes (13 words) - 06:38, 7 October 2023
- propositional intuitionistic logic sequent calculus 2016-05-30 Paper Sequent systems for PLTL 2016-04-13 Paper A sequent calculus for propositional temporal...10 bytes (13 words) - 18:53, 24 September 2023
- Intuitionistic Sequent Calculi 2009-06-30 Paper Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi 2009-03-10 Paper...10 bytes (14 words) - 12:41, 13 December 2023
- Bunched Hypersequent Calculi for Distributive Substructural Logics 2019-01-10 Paper Non-commutative classical arithmetical sequent calculi are intuitionistic...10 bytes (13 words) - 11:35, 24 September 2023
- Intuitionistic Sequent Calculus 2009-07-02 Paper Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi 2009-06-30 Paper...10 bytes (16 words) - 13:51, 28 January 2024
- hypersequent calculi for non-normal modal logics 2020-05-06 Paper Hybrid linear logic, revisited 2019-10-09 Paper Modularisation of Sequent Calculi for Normal...10 bytes (15 words) - 11:11, 6 October 2023
- logics 2021-12-03 Paper Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics 2021-12-02 Paper Labelled calculi for quantified modal logics...10 bytes (13 words) - 21:19, 24 September 2023
